ПрограммированиеVerification of Systems and Circuits Using LOTOS, Petri Nets, and CCSMichael Yoeli, Rakefet Kol