TAS::57 3600::TAS "CO-MODELING OF SAFETY-CRITICAL MULTI-THREADED EMBEDDED SOFTWARE FOR MULTI-CORE EMBEDDED PLATFORMS."