Time-Domain Computer Analysis of Nonlinear Hybrid Systems - Wenquan Sui (Taylor and Francis, 2001)