An Evaluation of Pacemaker Cluster Resource Manager Reliability. - Davide Appierto; Vincenzo Giuliano (3PGCIC, 2019)