S. Arifulina, C. Soltenborn, and G. Engels, “Coverage Criteria for Testing DMM Specifications”, eceasst, vol. 47, Jul. 2012.