. . "Pierre Roux" . "Roux" . "fa99f811a3064966ebb8e0786727e845" . . "Cyberphysical systems"@en . "Verification and validation"@en . "Pierre" . . . . "Formal methods"@en . .