Vitalsource Technologies, Inc. Discrete-Event Modeling and Simulation: Theory and Applications