GDEVS: A Generalized Discrete Event Specification for Accurate Modeling of Dynamic Systems. - Norbert Giambiasi; Bruno Escude; Sumit Ghosh (ISADS, 2001)