Composing Model-Based Analysis Tools - Robert Heinrich; Durán, Francisco; Talcott, Carolyn; Zschaler, Steffen (Springer International Publishing, 2021)