1. Eclipse Process Framework Project,
http://www.eclipse.org/epf/
2. DO 178B: Software Considerations in Airborne Systems and Equipment Certification (1992)
3. IEC 61508: Functional Safety of Electrical/Electronic/Programmable Electronic Safety-Related Systems (2010)
4. OPENCOSS: Deliverable D2.2 - High-level requirements, report (2012),
http://www.opencoss-project.eu/node/7
5. OPENCOSS: Deliverable D4.1 - Baseline for the common certification language (2012),
http://www.opencoss-project.eu/node/7