Simona Bernardi 0001, Michalis Famelis, Jean-Marc Jézéquel, Raffaela Mirandola, Diego Perez-Palacin, Fiona A. C. Polack, Catia Trubiani. Living with Uncertainty in Model-Based Development. In Robert Heinrich, Francisco Durán 0001, Carolyn L. Talcott, Steffen Zschaler, editors, Composing Model-Based Analysis Tools. pages 159-185, Springer, 2021. [doi]
Abstract is missing.