@proceedings {4659,
	title = {Analysis, Verification, and Management Toolsuite for Cyber-physical Applications on Time-varying Networks},
	journal = {Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems},
	year = {2014},
	pages = {44{\textendash}47},
	publisher = {ACM},
	address = {New York, NY, USA},
	keywords = {f6mdk},
	isbn = {978-1-4503-2871-5},
	doi = {10.1145/2593458.2593459},
	url = {http://doi.acm.org/10.1145/2593458.2593459},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/cyphy - camera ready.pdf},
	author = {Emfinger, William and Karsai, Gabor and Dubey, Abhishek and Aniruddha Gokhale}
}
