Fig. 7From: Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical SystemsThe updated two message servers of the Rebeca code presented in Fig. 5Back to article page