CoverageCity: Test Coverage for Clinical Guidelines. - Hatko, Reinhard; Baumeister, Joachim; Puppe, Frank (2012)