J. Barton Dewolf

A methodology for requirements specification and preliminary design of real-time systems