Hajji, M.S., Bass, J.M., Browne, A.R., Fleming, P.J., "Design tools for hybrid control systems", , 1997