Gabriel A. Wainer, Rodrigo D. Castro: A Survey on the Application of the Cell-DEVS Formalism. J. Cell. Autom. 5(6): 509-524 (2010)