FORMAL ANALYSIS OF THE CONTRACT AUTOMATA RUNTIME ENVIRONMENT WITH UPPAAL: MODELLING, VERIFICATION AND TESTING. - BASILE, DAVIDE (Logical Methods in Computer Science (LMCS), 2026)