1. Towards intelligent autonomous control systems: architecture and fundamental issues;Antsaklis;Journal of Intelligent & Robotic Systems,1989
2. Modeling and verification of time dependent systems using time Petri nets;Berthomieu;IEEE Transactions on Software Engineering,1991
3. Combined Discrete/Continuous System Simulation by Use of Digital Computers. Techniques and Tools;Cellier,1979
4. Combined discrete/continuous system simulation-application, techniques and tools;Cellier,1986
5. SHIFT: a formalism and a programming language for dynamic networks of hybrid automata;Deshpande,1996