Strategies for Real-Time System Specification - Pirbhai, Derek J. Hatley. Imtiaz A. (Addison-Wesley Professional, 2013)
Title from content provider