Synchronizing domain models with natural language specifications | IEEE Conference Publication | IEEE Xplore