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