Model Checking Publish/Subscribe Notification for thinkteam. In (2005)

by M H ter Beek, M Massink, D Latella, S Gnesi, A Forghieri, M Sebastianis
Venue:Proceedings of FMICS’04, volume 133 of Electronic Notes in Theoretical Computer Science,