Iain Bate, Tim Kelly. Architectural Considerations in the Certification of Modular Systems. In Stuart Anderson, Sandro Bologna, Massimo Felici, editors, Computer Safety, Reliability and Security, 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002, Proceedings. Volume 2434 of Lecture Notes in Computer Science, pages 321-333, Springer, 2002. [doi]