Loïc Paulevé Morgan Magnin Olivier Roux Tuning Temporal Features within the Stochastic π-Calculus. 858-871 2011 37 IEEE Trans. Software Eng. 6 http://doi.ieeecomputersociety.org/10.1109/TSE.2010.95 db/journals/tse/tse37.html#PauleveMR11