@proceedings{192,
  keywords = {f6mdk},
  author = {William Emfinger and Gabor Karsai and Abhishek Dubey and Aniruddha Gokhale},
  title = {Analysis, Verification, and Management Toolsuite for Cyber-physical Applications on Time-varying Networks},
  year = {2014},
  journal = {Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems},
  pages = {44–47},
  publisher = {ACM},
  address = {New York, NY, USA},
  isbn = {978-1-4503-2871-5},
}