Integrating Real-Time Structured Design and Formal Techniques.

D. Priddin Alan Burns Integrating Real-Time Structured Design and Formal Techniques. 92-102 1998 conf/ftrtft/1998 FTRTFT http://dx.doi.org/10.1007/BFb0055339 db/conf/ftrtft/ftrtft1998.html#PriddinB98