IPTES: A concurrent engineering approach for real-time software development P. PulliR. Elmstrøm OriginalPaper Pages: 139 - 152
The IPTES environment: Support for incremental, heterogeneous and distributed prototyping Gonzalo LeónJuan Carlos DueñasNabil Zakhama OriginalPaper Pages: 153 - 171
Graphical animation as a form of prototyping real-time software systems P. PulliM. HeikkinenR. Lintulampi OriginalPaper Pages: 173 - 195
An executable subset of VDM-SL in an SA/RT framework René ElmstrømPoul Bøgh LassenMichael Andersen OriginalPaper Pages: 197 - 211
Distributed execution of specifications Juan A. De La PuenteAlejandro AlonsoJuan Carlos Dueñas OriginalPaper Pages: 213 - 234
High-Level Timed Petri Nets as a kernel for executable specifications Miguel FelderCarlo GhezziMauro Pezzé OriginalPaper Pages: 235 - 248
Giving semantics to SA/RT by means of high-level timed Petri nets René ElmstrømRaino LintulampiMauro Pezzé OriginalPaper Pages: 249 - 271