The REVIEW system: from formal specifications to natural language | IEEE Conference Publication | IEEE Xplore