A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems.

Richard J. Boulton Ruth Hardy Ursula Martin A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems. 113-125 2003 conf/hybrid/2003 HSCC http://dx.doi.org/10.1007/3-540-36580-X_11 db/conf/hybrid/hscc2003.html#BoultonHM03