@inproceedings{Sukthankar-CPS2011,
   author = "Sumit Jha and Gita Sukthankar",
   title = "Modeling and Verifying Intelligent Automative Cyber-Physical Systems",
   booktitle = "Workshop for Developing Dependable and Secure Automative Cyber-Physical Systems",
   address = "Troy, Michigan",
   month = "Mar",
   year = "2011",
}