Petalidis, N. 2012. Verification of a fieldbus scheduling protocol using timed automata. Computing and Informatics. 28, 5 (Jan. 2012), 655–672.