Olderog, E.-R. Real-time systems : formal specification and automatic verification / Ernst-Rüdiger Olderog and Henning Dierks. - Cambridge : Cambridge University Press, 2008. - xvi, 320 p. : ill. ; 26 cm. Includes bibliographical references (p. 304-311) and index. ISBN: 0521883334 (hbk.) 9780521883337 (hbk.) Subjects--Topical Terms: Real-time data processing. Dewey Class. No.: 004.33 / OLD 2008