@inproceedings{mayo:2015:robust,
	author    = {Mayo, Jackson R. and Armstrong, Robert C. and Hulette, Geoffrey C.},
	booktitle = {2015 Annual IEEE Systems Conference (SysCon) Proceedings}, 
	title     = {Digital system robustness via design constraints: The lesson of formal methods}, 
	year      = {2015},
	month     = apr,
	doi       = {10.1109/SYSCON.2015.7116737},
	venue     = {Vancouver, BC, Canada},
	publisher = {IEEE},
	volume    = {},
	number    = {},
	pages     = {109-114},
	doi       = {10.1109/SYSCON.2015.7116737}
}