Gabriel A. Wainer, Alejandra Davidson: Defining a Traffic Modeling Language Using Cellular Discrete-Event Abstractions. J. Cell. Autom. 2(4): 291-343 (2007)