Asynchronous programming, analysis and testing with state machines