David Williams: Test Coverage Models for System Test? ITC 2002: 1185