Runtime Verification on Abstract Finite State Models. - KP Jevitha; Bharat Jayaraman; M. Sethumadhavan 001 (CoRR, 2024)