Fig. 1From: Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical SystemsThe iterative and incremental process for Verification-Driven Development of Cyber-Physical Systems (VDD-CPS) from structured requirements to verified Timed Rebeca codes. Formal verification is provided with the model checking tool suite AfraBack to article page