Petalidis, N. Verification of a Fieldbus Scheduling Protocol Using Timed Automata. Comput. Inform. 2012, 28, 655–672.