On the State of the Art in Verification and Validation in Cyber Physical Systems TR-ARiSE-2014-001