Composing Model-Based Analysis Tools - Robert Heinrich (Springer International Publishing, 2021)