1. Abbaneo, Biondi, Mongardi `Testing of a computer based interlocking software: methodology and environment“, SAFECOMP92; 28–30-cot. Zurigo.
2. EWICS/TC7 “Guidelines for use of programmable computer system in Safety applications”
3. IEC TC56: Dependability
4. IEGTC65A: System aspects - Draft 1508 (Oct. 1994) - Functional Safety: Safety-Related Systems
5. Dependability Management: application guides (IEC-300–3-X), June 1995