Toward a theory of sequential hybrid programs.

Paritosh K. Pandya H.-P. Wang Qiwen Xu Toward a theory of sequential hybrid programs. 366-384 1998 conf/procomet/1998 PROCOMET db/conf/procomet/procomet1998.html#PandyaWX98