Gregory Malecha, Daniel Ricketts, Mario M. Alvarez, Sorin Lerner. Towards foundational verification of cyber-physical systems. In 2016 Science of Security for Cyber-Physical Systems Workshop, SOSCYPS@CPSWeek 2016, Vienna, Austria, April 11, 2016. pages 1-5, IEEE Computer Society, 2016. [doi]
Abstract is missing.