Towards Model-Based Optimisations of Real-Time Systems, an Application with the AADL | IEEE Conference Publication | IEEE Xplore