Vitalsource Technologies, Inc. Introduction to Discrete Event Systems