Detailed Real-Time Software Platform Modeling | IEEE Conference Publication | IEEE Xplore