ConFiRM-DRTS: a certification framework for dynamic resource management in distributed real-time systems | IEEE Conference Publication | IEEE Xplore