From early to late formal requirements: a process-control case study (1998)

by E Dubois, E Yu, M Pettot
Venue:Proc. IWSSD’98 – 9 th International Workshop on software Specification and design