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