Thoroughness of specification-based testing of synchronous programs | Publicación