Robert Heinrich, Erwan Bousse, Sandro Koch, Arend Rensink, Elvinia Riccobene, Daniel Ratiu, Marjan Sirjani. Integration and Orchestration of Analysis Tools. In Robert Heinrich, Francisco Durán 0001, Carolyn L. Talcott, Steffen Zschaler, editors, Composing Model-Based Analysis Tools. pages 71-95, Springer, 2021. [doi]
Abstract is missing.