Waveform Transition Graphs: A Designer-Friendly Formalism for Asynchronous Behaviours | Publicación