Towards Efficient Auditing for Real-Time Systems. | AMiner