An executable subset of VDM-SL in an SA/RT framework

STATEMATE: a working environment for the development of complex reactive systems

David Harel, H. Lachover, A. Naamad et al. · IEEE Transactions on Software Engineering · 1990 · 1.1K citations

Graphical Languages, Engineering, Reactive Behavior +22

The transformation schema: An extension of the data flow diagram to represent control and timing

Paul T. Ward · IEEE Transactions on Software Engineering · 1986 · 249 citations

Engineering, Visual Programming Language, Software Engineering +18

Giving semantics to SA/RT by means of high-level timed Petri nets

Ren� Elmstr�m, Raino Lintulampi, Mauro Pezz� · Real-Time Systems · 1993 · 45 citations

Petri Net, Engineering, Automated Reasoning +11

IPTES — Incremental Prototyping Technology for Embedded real-time Systems

Petri Pulli, René Elmstrøm · Microprocessing and Microprogramming · 1992 · 22 citations

Engineering, Computer Engineering, Computer Architecture +6

Sokrates-SA - A formal method for specifying real-time systems

Ari Okkonen, Antti Auer, Mikko Levanto et al. · Microprocessing and Microprogramming · 1989 · 16 citations

Real-time System, Engineering, Real-time Operation +7