Data driven investigation of faults in HVAC systems with model, cluster and compare (MCC)
Analyzing software requirements errors in safety-critical, embedded systems