Robert Seater Daniel Jackson Rohit Gheyi Requirement progression in problem frames: deriving specifications from requirements. 77-102 2007 12 Requir. Eng. 2 http://dx.doi.org/10.1007/s00766-007-0048-y db/journals/re/re12.html#SeaterJG07