Incremental elicitation and formalization of user requirements through rapid prototyping via software transformations | IEEE Conference Publication | IEEE Xplore