PLCTOOLS: design, formal validation, and code generation for programmable controllers.

Luciano Baresi, Marco Mauri, Antonello Monti, Mauro Pezz

Browse the full SMC paper archive.