José MerseguerBooksModel-Driven Dependability Assessment of Software SystemsAuthor data: Open Library