Maurice H. ter Beek Mieke Massink Diego Latella Stefania Gnesi Alessandro Forghieri Maurizio Sebastianis Model Checking Publish/Subscribe Notification for thinkteam<sup>®</sup>. 275-294 2005 133 Electr. Notes Theor. Comput. Sci. http://dx.doi.org/10.1016/j.entcs.2004.08.069 db/journals/entcs/entcs133.html#BeekMLGFS05