Integrating formal and structured methods in reverse-engineering | IEEE Conference Publication | IEEE Xplore