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