@phdthesis{Sunit2013-phdthesis,
author = {Sunit Verma},
title = {Ensuring Safety of Model-based Generated Code for Pervasive Health Monitoring Systems},
school = {Arizona State University},
address = {Tempe, Arizona, USA},
month = May,
year = 2013,
ee = {http://hdl.handle.net/2286/R.I.16465}
}