Ronojoy Ghosh Ashish Tiwari Claire Tomlin Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata. 233-248 2003 conf/hybrid/2003 HSCC http://link.springer.de/link/service/series/0558/bibs/2623/26230233.htm db/conf/hybrid/hscc2003.html#GhoshTT03