Asynchronous interface specification, analysis and synthesis | Publicación