Perceptions on the State of the Art in Verification and Validation in Cyber-Physical Systems
Xi Zheng,C. Julien,Miryung Kim,S. Khurshid