MoonLight: a lightweight tool for monitoring spatio-temporal properties. - Nenzi, Laura; Bartocci, Ezio; Bortolussi, Luca; Silvetti, Simone; Loreti, Michele (International Journal on Software Tools for Technology Transfer, 2023)