Reducing the gap between theory and practice in real-time systems with MARS | IEEE Conference Publication | IEEE Xplore