Designing asynchronous circuits from behavioural specifications with internal conflicts | Publicación