Compositional analysis of expected delays in networks of probabilistic I/O automata | IEEE Conference Publication | IEEE Xplore