Forced simulation [electronic resource] : a formal approach to component-based synthesis / Partha S. Roop, A. Sowmya