Asynchronous Sequential Machine Design and Analysis