M. S. Hajji Julian M. Bass Adrian Browne Peter J. Fleming Design Tools for Hybrid Control Systems. 87-92 1997 conf/hybrid/1997hart HART db/conf/hybrid/hart97.html#HajjiBBF97