Hybrid Systems: Computation and Control Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 - 25, 2000 Proceedings - Lynch, Nancy; Lynch, Nancy; Krogh, Bruce; Krogh, Bruce (Springer Berlin Heidelberg : Imprint: Springer, 2000)