1
Validation and Verification of Automated Systems [E-Book] : Results of the ENABLE-S3 Project /