Ichiro Hasuo: Nonstandard Static Analysis: Literal Transfer of Deductive Verification Frameworks from Discrete to Hybrid. CyPhy 2017: 3-7