أرسل هذا في رسالة قصيرة: Verification of systems and circuits using LOTOS, Petri Nets, and CCS