Schedulability analysis and automated implementation of real-time object-oriented design models