Timed automata on modelling IEC 61131-3 function blocks. - Joel Galvao; Camelia Avram (ICE/ITMC, 2017)

Modelling and Simulation of a Straight Line Motion Mechanism for Industrial Application. - João Sousa; Joel Galvao; José Machado 002; João Pedro Mendonça 001; Toni Machado; Pedro Silva (CoDIT, 2018)