Deriving Architecture Specifications from KAOS Specifications: A Research Case Study. - Divya Jani; Damien Vanderveken; Dewayne E. Perry (EWSA, 2005)