@InProceedings{SePeDoKh2004b, 
author = 	 {Arvind Seshadri and Adrian Perrig and Leendert van Doorn and Pradeep Khosla},
title = 	 {Using {SWATT} for Verifying Embedded Systems in Cars},
booktitle =	 {Proceedings of Embedded Security in Cars Workshop (ESCAR 2004)},
year =		 2004,
month =		 nov, 
online =         {http://www.ece.cmu.edu/~adrian/projects/escar04.pdf},
added-by =	 {adrian}, 
added-at =	 {Sun Aug  1 20:02:16 2004}
}