Relating Conformance Test Coverage to Formal Specifications. - Roland Groz; Olivier Charles; Josiane Renévot (FORTE, 1996)