The AdaPIC tool set: supporting interface control and analysis throughout the software development process | IEEE Journals & Magazine | IEEE Xplore