S. Kandula, T. Mukherjee, and S. Gupta, Toward autonomous vehicle safety verification from mobile cyber-physical systems perspective,[in Proc. ACM/IEEE 2nd Int. Conf. Cyber-Phys. Syst., Work-in-Progress (WiP) Session, Apr. 2011.