Klaus Nökel;Klaus Winkelmann
-;-
How to Implement a Safe Real-Time System: The OBSERV Implementationof the Production Cell Case Study
Real-Time Systems
Decomposing controllers into non-conflicting distributed controllers
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing