@misc {IOPORT.70440123,
    author       = {Jani, Divya and Vanderveken, Damien and Perry, Dewayne E.},
    title        = {Deriving architecture specifications from KAOS specifications: A research case study},
    howpublished = {EWSA, 185-202 (2005).},
    year         = {2005},
    doi          = {10.1007/11494713_13},
    identifier   = {70440123},
}