Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software (2002)

by X Deng, M B Dwyer, J Hatcliff, G Jung, Robby, G Singh
Venue:Proceedings FMCO’02, volume 2852 of LNCS