Integrating Real-Time Structured Design and Formal Techniques. - Darren George Priddin; Alan Burns 001 (FTRTFT, 1998)

Method integration for real-time system design and verification. - Darren George Priddin (1999)