A model-based approach to system-level dependency and real-time analysis of embedded software | IEEE Conference Publication | IEEE Xplore