Modeling and analysis of real-time Ada tasking programs | IEEE Conference Publication | IEEE Xplore