TITLE     : Model Checking Publish/Subscribe Notification for thinkteam
AUTHOR(S) : Ter Beek M H, Massink M, Latella D, Gnesi S, Forghieri A, Sebastianis M
TYPE      : Other
YEAR      : 2004
CODE      : 160718

*** DO NOT EDIT THIS FILE ***