William Emfinger, Gabor Karsai, Abhishek Dubey, Aniruddha S. Gokhale. Analysis, verification, and management toolsuite for cyber-physical applications on time-varying networks. In Ralf Lämmel, Walid Taha, editors, Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems, CyPhy 2014, Berlin, Germany, April 14-17, 2014. pages 44-47, ACM, 2014. [doi]
Abstract is missing.