Verification of systems and circuits using LOTOS,Petri Nets, and CCS - Yoeli, Michael (John Wiley & Sons, 2008)