Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis. Model Checking Publish/Subscribe Notification for thinkteam:::®:::. Electronic Notes in Theoretical Computer Science, 133:275-294, 2005. [doi]
Abstract is missing.