Modeling and verification of real-time systems formalisms and software tools (ISTE, 2008)
Includes bibliographical references and index