Text this: Quality specification and metrication, results from a case-study in a mission-critical software domain.