Arifulina, S.; Soltenborn, C.; Engels, G. Coverage Criteria for Testing DMM Specifications. eceasst 2012, 47.