Test Coverage Analysis of an Engine Model by Christian Miedl