@phdthesis{Ayan2012-phdthesis,
author = {Ayan Banerjee},
title = {Model Based Safety Analysis and Verification of Cyber Physical Systems},
school = {Arizona State University},
address = {Tempe, Arizona, USA},
month = December,
year = 2012,
ee = {http://hdl.handle.net/2286/R.I.15971}
}