QoS modeling language for high quality systems | IEEE Conference Publication | IEEE Xplore