Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering (T) | IEEE Conference Publication | IEEE Xplore