Muhammad Atif, MohammadReza Mousavi. Formal specification and analysis of accelerated heartbeat protocols. In SummerSim 10 - 2010 Summer Simulation Multiconference, Ottawa, ON, Canada, July 11-14, 2010. pages 403-412, Society for Computer Simulation International / ACM DL, 2010. [doi]
Abstract is missing.