@inproceedings {SCSC10:DEVSflattening, title = {Symbolic Flattening of {DEVS} Models}, journal = {Summer Computer Simulation Conference (SCSC)}, year = {2010}, note = {Ottawa, Canada}, month = {July}, pages = {209 {\textendash} 218}, publisher = {Society for Computer Simulation International (SCS)} }