How to Measure Conformance Between an Operational Specification and Its Execution