The 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop.
Vancouver, Canada, December 3, 2013. Co-located with RTSS 2013.