Accessible Formal Method Support for PLC Software Development.

John A. McDermid, R. H. Pierce

Browse the full SAFECOMP paper archive.