//-->
Standortplanung von Regionallägern
Merle, G., (1974)
Identification comportementale des systemes logiques en vue de leur surveillance
Klein, S., (2005)
Safety Properties Verification of Ladder Diagram Programs
Roussel, J.-M., (2002)