Giorgio Bruno Antonia Elia Operational Specification of Process Control Systems: Execution of PROT Nets using OPS5. 35-40 1986 IFIP Congress db/conf/ifip/ifip86.html#BrunoE86