J. Blieberger, G. Schildt: "Safe Programmable Logic Controller "SAFE_PLC" (TR-183/1-38)"; Report for ESPRIT; 1993.