Schedulability-aware mapping of real-time object-oriented models to multi-threaded implementations.