Semantics for Communicating Actors with Interdependent Real-Time Deadlines | IEEE Conference Publication | IEEE Xplore