Petalidis, N. (2012) “Verification of a fieldbus scheduling protocol using timed automata”, COMPUTING AND INFORMATICS, 28(5), pp. 655–672. Available at: https://www.cai.sk/ojs/index.php/cai/article/view/54 (Accessed: 27 April 2024).