Anitha Murugesan, Oleg Sokolsky, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl, Insup Lee. Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety. In ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS, Berlin, Germany, April 14-17, 2014. pages 139-150, IEEE, 2014. [doi]
Abstract is missing.