Cyber-Physical Systems (CPS) incorporate integration of control software, physical sensors and physical hardware in which computing devices interact with the physical world in a feedback loop. Models used for CPS design and verification possess infinite state spaces, with dynamics governed by continuous variables and differential equations. In this talk, I will discuss my recent work on conformance checking for CPS models -- defined as checking (through either testing or formal verification) whether a CPS model adheres to a given specification (given as a temporal logic formula, or as another abstract CPS model specification). I will show that CPS models having real-valued continuous-time outputs necessitates working with quantitative conformance, which, in addition to measuring discrepancies in the value space, also allow for timing discrepancies (which are central to CPS). My implementation of part of this work has been deployed at Toyota Technical Center for equivalence testing of control system Simulink blocks.