Time-Domain Computer Analysis of Nonlinear Hybrid Systems