Vitalsource Technologies, Inc. Supervisory Control Of Concurrent Systems