Early Stage Verification and Validation of Cyber-Physical Systems through Requirements Driven Probabilistic Certificate of Correctness Metric. - Alex Van der Velden; David Fox; Jeff Haan (CSDM, 2013)