Systematic Assessment of Formal Methods Based Models Quality Criteria. - Lorenzo Maldini; Stephen Wright (MEDI Workshops, 2021)