Title: Asynchronous Sequential Machine Design and Analysis