Petalidis, N. (2012) “Verification of a fieldbus scheduling protocol using timed automata”, Computing and Informatics, 28(5), pp. 655–672. Available at: http://147.213.75.17/ojs/index.php/cai/article/view/54 (Accessed: 23 November 2024).