Lynch, Krogh Hybrid Systems Computation & Cont. - Springer 2000 - 464 Standard No.: 109428 Dewey Class. No.: 004.19 / LYN