Playing with time in publish-subscribe using a domain-specific model checker.

Luciano Baresi Giorgio Gerosa Carlo Ghezzi Luca Mottola Playing with time in publish-subscribe using a domain-specific model checker. 55-62 2007 SAVCBS http://doi.acm.org/10.1145/1292316.1292323 conf/sigsoft/2007savcbs db/conf/sigsoft/savcbs2007.html#BaresiGGM07