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