Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche. A System Dependability Modeling Framework Using AADL and GSPNs. 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 14-38, Springer, 2006. [doi]
Abstract is missing.