Verification of systems and circuits using LOTOS, Petri Nets, and CCS (Wiley-Interscience, 2008)
Includes bibliographical references and index