Automatic retrieval and analysis of high availability scenarios from system execution traces: A case study on hot standby router protocol. - Maged Sheghdara; Jameleddine Hassine (J. Syst. Softw., 2020)