Petalidis, N. (2009). Verification of a Fieldbus Scheduling Protocol Using Timed Automata. Computing and Informatics, 28(5), 655–672. https://cai.type.sk/content/2009/5/verification-of-a-fieldbus-scheduling-protocol-using-timed-automata/