Jahedi, Hassan, Shayegh Borujerdi, Hamid (2017). Self-healing in payment switches with a focus on failure detection using State Ma- chine-based approaches. *International Journal of Information, Security and Systems Management*, 6(2), 705-720.