Maldini, L., & Wright, S. (2021). Systematic assessment of formal methods based models quality criteria. In Advances in Model and Data Engineering in the Digitalization Era MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21–23, 2021, Proceedings (31-45). https://doi.org/10.1007/978-3-030-87657-9_3