Model-checking of component-based event-driven real-time embedded software (2005)

by Z Gu, K G Shin
Venue:Proceedings of IEEE International Symposium on Object-Oriented Real-Time Distributed Computing