Text this: Asynchronous sequential machine design and analysis