Recovery of software design, state-machines and specifications from source code | IEEE Conference Publication | IEEE Xplore