Fei He Luciano Baresi Carlo Ghezzi Paola Spoletini Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. 247-262 2007 conf/forte/2007 FORTE http://dx.doi.org/10.1007/978-3-540-73196-2_16 db/conf/forte/forte2007.html#HeBGS07