Sanjai Narain, Jeff Rothenberg. Proving temporal properties of hybrid systems. In Osman Balci, editor, Proceedings of the 22th Winter Simulation Conference, New Orleans, Louisiana, USA, December 9-12, 1990. pages 250-256, IEEE, 1990. [doi]
Abstract is missing.