Jens Bæk Jørgensen Claus Bossen Executable Use Cases: Requirements for a Pervasive Health Care System. 34-41 2004 21 IEEE Software 2 http://csdl.computer.org/comp/mags/so/2004/02/s2034abs.htm db/journals/software/software21.html#JorgensenB04