Model based design of super schedulers managing catastrophic scenario in hard real time systems | IEEE Conference Publication | IEEE Xplore