K. P. Jevitha, Bharat Jayaraman, M. Sethumadhavan: Runtime verification on abstract finite state models. J. Syst. Softw. 216: 112138 (2024)