A Model-Based Approach to System-Level Dependency and Real-time Analysis of Embedded (2003)

by Z Gu, S Kodase, S Wang, K G Shin
Venue:Software,” in RTAS’03