Jennifer M. Davoren Thomas Moor Anil Nerode Hybrid Control Loops, A/D Maps, and Dynamic Specifications. 149-163 2002 conf/hybrid/2002 HSCC https://doi.org/10.1007/3-540-45873-5_14 db/conf/hybrid/hscc2002.html#DavorenMN02