Towards a Cache-Aware Development of High Integrity Real-Time Systems | IEEE Conference Publication | IEEE Xplore