Try KAOS, the requirements engineering language and method