Modeling and verification of real-time systems : formalisms and software tools - Merz, Stephan; Navet, Nicolas (London : ISTE, 2008)
Keywords: Real-time data processing; Computer software -- Verification; Formal methods (Computer science)