An approach for integrated specification and design of real-time systems | IEEE Conference Publication | IEEE Xplore