A static, transaction based design methodology for hard real-time systems. - Philip M. Sleat (1991)

IDRIS: Interactive Design of Reactive Information Systems. - Peter Osmon; Philip M. Sleat (CAiSE, 1992)