Paper accepted in FORMATS 2016

P. R. D'Argenio, Lee, M. D., and Monti, R. E., “Input/Output Stochastic Automata Compositionality and Determinism”, in FORMATS 2016 : 14th International Conference on Formal Modeling and Analysis of Timed Systems, 2016.