Petalidis, N. 2012. Verification of a fieldbus scheduling protocol using timed automata. COMPUTING AND INFORMATICS. 28, 5 (Jan. 2012), 655–672.