Rick Buskens, Oscar J. Gonzalez. Model-Centric Development of Highly Available Software Systems. 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 163-187, Springer, 2006. [doi]