Performance-critical distributed systems, especially the distributed real-time and embedded (DRE) systems, have been proliferating in the past few decades. Designing and implementing DRE systems is significantly challenging ...