Synthesis of Task and Message Activation Models in Real-Time Distributed Automotive Systems | IEEE Conference Publication | IEEE Xplore