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