Formalizing meta-programming techniques to reconcile heterogeneous scheduling disciplines in open distributed real-time systems | IEEE Conference Publication | IEEE Xplore