Behavioral transformations to increase noise immunity in asynchronous specifications | Publicación