Vitalsource Technologies, Inc. Asynchronous Sequential Machine Design And Analysis