Traore. An Integrated V&v Environment for Critical Systems Development. IEEE Comput. Soc, doi:10.1109/isre.2001.948587.