The PLC UML State-chart design pattern. - Lorenzo Racchetti; Cesare Fantuzzi; Lorenzo Tacconi; Marcello Bonfè (ETFA, 2014)

Generating automatically the documentation from PLC code by D4T3 to improve the usability and life cycle management of software in automation. - Lorenzo Racchetti; Lorenzo Tacconi; Cesare Fantuzzi (CASE, 2015)

Verification and validation based on the generation of testing sequences from timing diagram specifications in industrial automation. - Lorenzo Racchetti; Cesare Fantuzzi; Lorenzo Tacconi (IECON, 2015)

Towards an abstraction layer for PLC programming using object-oriented features of IEC61131-3 applied to motion control. - Lorenzo Racchetti; Cesare Fantuzzi; Lorenzo Tacconi; Marcello Bonfè (IECON, 2015)