System level modeling of real-time embedded software | IEEE Conference Publication | IEEE Xplore