Distinctions between requirements specification and design of real-time systems | IET Conference Publication | IEEE Xplore