affiliation not provided to SSRN
Runtime verificationLinear temporal logicCyber-physical systemsCybersecurityCritical Infrastructure