CESA

Klein, S.; Frey, G.; Litz, L.; Lesage, J.-J.: Supporting the Changeability of SIPN-based Logic Control Algorithms by Verification and Validation. Proceedings of the IEEE/IMACS Multiconfrence on Computational Engineering in Systems Applications (CESA 2003), Paper S2-I-04-0176, Lille, France, Jul. 2003.

Bani Younis, M.; Frey, G.: Formalization of Existing PLC Programs: A Survey. Proceedings of the IEEE/IMACS Multiconfrence on Computational Engineering in Systems Applications (CESA 2003), Paper S2-R-00-0239, Lille, France,  Jul. 2003.