IET Cyber-Physical Systems, Special Issue:

Verification and Validation of Cyber-Physical Systems