Runtime verification of electronic stability control system in automated vehicles with STL3 formalism. - Fatemeh Yousefinejad; Saeed Jalili (Computing, 2025)