Towards Formal Modeling of Quality-driven Systems under uncertainty | IEEE Conference Publication | IEEE Xplore