Quality specification and metrication, results from a case-study in a mission-critical software domain. - Trienekens, Jos J. M.; Kusters, Rob J.; Brussel, Dennis C. (Software Quality Journal, 2010)