Separation of Concerns, 1995. ,
Road vehicles, Functional safety, Part 6: Product development: software level, pp.26262-26268, 2008. ,
Orthogonal defect classification-a concept for in-process measurements, IEEE Transactions on Software Engineering, vol.18, issue.11, pp.943-956, 1992. ,
DOI : 10.1109/32.177364
Concepts and Experiments in Computational Reflection, Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), pp.147-155, 1987. ,
A Defensive Approach to Certifying COTS Software, Reliable Software Technologies Corporation, 1997. ,
Wrapping Real-time Systems from Temporal Logic Specifications, European Dependable Computing Conference (EDCC-4 Toulouse (F), pp.253-270, 2002. ,
DOI : 10.1007/3-540-36080-8_22
Towards implementing multi-layer reflection for fault-tolerance, 2003 International Conference on Dependable Systems and Networks, 2003. Proceedings., pp.435-444, 2003. ,
DOI : 10.1109/DSN.2003.1209954
The ELEKTRA railway Signaling- System: Field Experience with an Actively Replicated System with Diversity, Alcatel Austria AG, 1995. ,
Airbus Fly-By-Wire: A Total Approach To Dependability, 2004. ,
DOI : 10.1007/978-1-4020-8157-6_18
Trampoline An Open Source Implementation of the OSEK/VDX RTOS Specification, 2006 IEEE Conference on Emerging Technologies and Factory Automation, 2006. ,
DOI : 10.1109/ETFA.2006.355432
? see : http://trampoline.rts-software, pp.62-69, 2006. ,