Verification of systems and circuits using LOTOS, Petri Nets, and CCS - Yoeli, Michael, 1917- (Wiley-Interscience, 2008)