Automatic synthesis of multi-tasking implementations from real-time object-oriented models | IEEE Conference Publication | IEEE Xplore