RVElastic: a Runtime Verification Framework for Microservice Systems. - Stefano Murino; Angelo Ferrando 001; Giacomo Cabri (WETICE, 2024)