Vitalsource Technologies, Inc. Control Of Discrete-event Systems