Verification of systems and circuits using LOTOS, Petri Nets, and CCS - Yoeli, Michael 1917- (Wiley series on parallel and distributed computing, 2008)