Towards Efficient Auditing for Real-Time Systems accepted to appear in ESORICS 2022.