The Formal Specification of the Fieldbus Foundation Link Scheduler in E-LOTOS. - N. Petalidis; D. S. Gill (ICFEM, 1998)

Introducing monitoring events to timed-CSP. - N. Petalidis; D. S. Gill (IEE Proc. Softw., 2001)

Verification of a fieldbus scheduling protocol using timed automata. - N. Petalidis (Comput. Informatics, 2009)