Hajji, M., Bass, J., Browne, A., & Fleming, P. (1997). Design tools for hybrid control systems. . Springer. https://doi.org/10.1007/BFb0014717