Designing asynchronous circuits from behavioural specifications with internal conflicts | IEEE Conference Publication | IEEE Xplore