Systematic Assessment of Formal Methods Based Models Quality Criteria.

Lorenzo Maldini, Stephen Wright

Browse the full MEDI paper archive.