Analysis, Specification and Modeling of Functional Requirements for Translative Model-Driven Development | IEEE Conference Publication | IEEE Xplore