Composing Model-Based Analysis ToolsRobert Heinrich, Francisco Durán, Carolyn Talcott, Steffen Zschaler · First published 2021Open the Tome
Software Technologies : Applications and FoundationsMartina Seidl, Steffen Zschaler · First published 2018Open the Tome
