Xianghua Deng Matthew B. Dwyer John Hatcliff Georg Jung Robby Gurdip Singh Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software. 154-181 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2852&spage=154 2002 conf/fmco/2002 FMCO db/conf/fmco/fmco2002.html#DengDHJRS02