Bernardi, S., Famelis, M., Jézéquel, J.-M., Mirandola, R., Palacin, D. P., Polack, F. A. C., & Trubiani, C. (2021). Living with Uncertainty in Model-Based Development. In R. Heinrich, F. Durán, C. Talcott, & S. Zschaler (Eds.), Composing Model-Based Analysis Tools (159-185). Springer. https://doi.org/10.1007/978-3-030-81915-6_8