TRANSYT:A Tool for the Verification of Asynchronous Concurrent Systems | Publicación