A translation method from natural language specifications into formal specifications using contextual dependencies | IEEE Conference Publication | IEEE Xplore