1. Pave pace: System avionics for the 21st century;Morgan;Aerospace and Electronic Systems Magazine, IEEE,1989
2. Joint advanced strike technology program, avionics architecture definition appendix B 1994
3. Rushby J Modular certification 2001
4. Modular architectural representation and analysis of fault propagation and transformation;Wallace;Electronic Notes in Theoretical Computer Science,2005
5. Balasubramanian K Wang N Schmidt DC Towards composable distributed real-time and embedded software 226 233