N. Petalidis, “Verification of a fieldbus scheduling protocol using timed automata”, Comput. Inform., vol. 28, no. 5, pp. 655–672, Jan. 2012.