@InProceedings{HBGS07,
author={F. He and L. Baresi and C. Ghezzi and P. Spoletini},
title={Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata},
booktitle={Proc. Formal Techniques for Networked and Distributed Systems (FORTE'07)},
year={2007},

editor={},
pages={247-262},
organization={},
publisher={Springer},
series={LNCS},
volume={4574},
address={},
month={},
note={},
key={}
}