Other publication outputs:

X.Zheng, C.L. Fok, C. Julien, S. Khurshid, M. Kim (2014) On the state of the art in verification and validation in cyber physical systems. The University of Texas at Austin, The Center for Advanced Research in Software Engineering, Tech. Rep. TR-ARiSE-2014-001, 1485.