An executable specification language for fast prototyping parallel responsive systems

Furbach, 1993, Formal specification methods for reactive systems, J. Systems Software, 21, 129, 10.1016/0164-1212(93)90036-W Pnueli, 1977, 46 Huizing, 1991, Introdductio to desin choices in the semantics of statecharts, Information Processing Letters, 37, 205, 10.1016/0020-0190(91)90190-S Heping, 1993, Cycle Calculus for Requirements Specification of Real-time and Hybrid Systems Heping, 1993, PSP, a Programming Language for Prototype State Predicates Heping, 1993, Requirement specification for real-time and hybrid systems Heping, 1994, The cycle calculus and method for the formal development of real-time and hybrid systems Allen, 1983, Towards a general theory of action and time, Artificial Intelligence, 23, 123, 10.1016/0004-3702(84)90008-0 Rescher, 1971 Jahanian, 1986, Safety analysis of timing properties in real-time systems, IEEE Trans S.E., 12, 890, 10.1109/TSE.1986.6313045 Chaochen, 1991, A Calculus of Durations, 10.1016/0020-0190(91)90122-X Moszkowski, 1985, Executing Temporal Logic Programs, Cambridge Tech Report N71 Kroger, F., Temporal Logic of Programs, EATCS, Monographs on Theoretical Computer Science (Edited by Brauer, W., Rozenberg, G. and Salomaa, A.) New York: Springer. Kesten, 1992, Timed and hybrid Statecharts and their textual representation, Vol. 571, 591 Maler, 1992, From timed to hybrid systems, Vol. 600