(1)
Arifulina, S.; Soltenborn, C.; Engels, G. Coverage Criteria for Testing DMM Specifications. ECEASST 2012, 47.