Co-Verification of Networked Embedded System. - Nikhil Shirish Damle; Avinash G. Keskar (ICETET, 2008)