Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS - Yoeli, Michael (John Wiley & Sons, Incorporated)