The Discrete EVent System specification ( DEVS ) formalism CS 522 Fall Term 2001