VALID-2: a practical modeling, simulation and verification software for distributed systems | IEEE Conference Publication | IEEE Xplore