H. Lin and P. J. Antsaklis, "Hybrid Dynamical Systems: An Introduction to Control and Verification" Foundations and Trends in Systems and Control, vol. 1, no. 1, pp. 1‐172, Mar. 2014 Mar. 2014