Steffen ZschalerBooksComposing Model-Based Analysis ToolsSoftware Technologies : Applications and FoundationsAuthor data: Open Library