Weihang Wu, Tim Kelly. Towards Evidence-Based Architectural Design for Safety-Critical Software Applications. In Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky, editors, Architecting Dependable Systems IV [the book is a result of the ICSE 2006 and DSN 2006 workshops]. Volume 4615 of Lecture Notes in Computer Science, pages 383-408, Springer, 2006. [doi]
Abstract is missing.