Time-domain computer analysis of nonlinear hybrid systems. (©2002)