Daniel Simon, Roger Pissard-Gibollet, Konstantinos Kapellos, Bernard Espiau. Synchronous Composition of Discretized Control Actions: Design, Verification and Implementation with ORCCAD . In 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 99), 13-16 December 1999, Hong Kong, China. pages 158-165, IEEE Computer Society, 1999. [doi]
Abstract is missing.