Specification and Synthesis of Hybrid Automata for Physics-Based Animation.

Thomas Ellman Specification and Synthesis of Hybrid Automata for Physics-Based Animation. 80-93 2003 conf/kbse/2003 ASE http://csdl.computer.org/comp/proceedings/ase/2003/2035/00/20350080abs.htm db/conf/kbse/ase2003.html#Ellman03