Designing for schedulability: integrating schedulability analysis with object-oriented design | IEEE Conference Publication | IEEE Xplore