The following pages link to Automating functional coverage measurement in a model-based testing environment: