Toward autonomous vehicle safety verification from mobile cyber-physical systems perspective. - Sailesh Kandula; Tridib Mukherjee; Sandeep K. S. Gupta (SIGBED Rev., 2011)

BAND-AiDe: A Tool for Cyber-Physical Oriented Analysis and Design of Body Area Networks and Devices. - Ayan Banerjee 001; Sailesh Kandula; Tridib Mukherjee; Sandeep K. S. Gupta (ACM Trans. Embed. Comput. Syst., 2012)