A symbolic model checking approach in formal verification of distributed systems | Publicación