Instruction Cache in Hard Real-Time Systems: Modeling and Integration in Scheduling Analysis Tools with AADL | IEEE Conference Publication | IEEE Xplore