D. Priddin Alan Burns Integrating Real-Time Structured Design and Formal Techniques. 92-102 1998 conf/ftrtft/1998 FTRTFT http://link.springer.de/link/service/series/0558/bibs/1486/14860092.htm db/conf/ftrtft/ftrtft1998.html#PriddinB98