QoS-UniFrame: a Petri net-based modeling approach to assure QoS requirements of distributed real-time and embedded systems | IEEE Conference Publication | IEEE Xplore