An integrated v&v environment for critical systems development | IEEE Conference Publication | IEEE Xplore