Giuseppe De Giacomo, Riccardo De Masellis, Fabrizio Maria Maggi, Marco Montali. Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces. ACM Transactions on Software Engineering Methodology, 31(4), 2022. [doi]
Abstract is missing.