1. Hammet, R.: Flight-Critical Distributed Systems: Design Considerations. IEEE AESS Systems Magazines, 30–36 (2003)
2. Weyuker, E.J.: Testing Component-Based Software: A Cautionary Tale. IEEE Software 15(5), 54–59 (1998)
3. Moraes, R.L.O., Durães, J., Barbosa, R., Martins, E., Madeira, H.: Experimental Risk Assessment and Comparison Using Software
4. CENELEC: EN 50126 Railways Applications. The specification and demonstration of Reliability,Availability, Maintainability and Safety (RAMS)
5. DO-178B/ED12B Software consideration in airborne systems and equipment certification. RTCA and EUROCAE (December 1992)