Towards Scalable Security of Real-time Applications: A Formally Certified Approach | IEEE Conference Publication | IEEE Xplore