Zeigler, and F. Lin, "Processing Time Bounds of Schedule-Preserving DEVS", ACIMS Technical Report, 2007, (Available at http://www.acims.arizona.edu and http://moonho.hwang.googlepages.com/publications) [Sedgewick02], R. Sedgewick, Algorithms in C++, Part 5 Graph Algorithm, Addison Wesley, Boston, third edition [ZKP00] Automata (computation)