ViDaS: 1st International Workshop on Validation and Verification of Dynamic Systems Committee | IEEE Conference Publication | IEEE Xplore