Hybrid Systems by Claire J. Tomlin & Mark R. Greenstreet