Vitalsource Technologies, Inc. Sequential Optimization Of Asynchronous And Synchronous Finite-state Ma