C. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, 2008.

A. Cervin, J. Eker, B. Bernhardsson, and K. E. Årzén, Feedback-feedforward scheduling of control tasks. Real-Time Systems, vol.23, pp.25-53, 2002.

A. Chakrabarti, L. De-alfaro, T. A. Henzinger, and F. Y. Mang, Synchronous and bidirectional component interfaces, Computer Aided Verification, vol.2404, pp.414-427, 2002.
DOI : 10.1007/3-540-45657-0_34

URL : http://www.eecs.berkeley.edu/~tah/Publications/synchronous_and_bidirectional_component_interfaces.ps