Jameleddine Hassine Juergen Rilling Rachida Dssouli Use Case Maps as a property specification language. 205-220 2009 8 Software and System Modeling 2 http://dx.doi.org/10.1007/s10270-007-0076-6 db/journals/sosym/sosym8.html#HassineRD09