Modeling and Evaluation of Software Systems with Object Stochastic Activity Networks | IEEE Conference Publication | IEEE Xplore