Shingo Takada Leveraging use cases in developing service-oriented systems. 443-452 2008 JCKBSE http://dx.doi.org/10.3233/978-1-58603-900-4-443 conf/jckbse/2008 db/conf/jckbse/jckbse2008.html#Takada08