Integrating formal methods into the development process | IEEE Journals & Magazine | IEEE Xplore