Verification Of Systems And Circuits Using Lotos, Petri Nets, And Ccs by Michael Yoeli & Rakefet Kol