Automatic generation of formal specification from requirements definition | IEEE Conference Publication | IEEE Xplore