Runtime Verification for Decentralised and Distributed Systems | Publicación