Reverse Engineering on changed Functional Specification Documents for Model-Based Requirements Engineering | IEEE Conference Publication | IEEE Xplore