Deriving Formal Specifications from Informal Requirements | IEEE Conference Publication | IEEE Xplore