Duc-Hanh Dang Validation of System Behavior from an Integrated Semantics of Use Case and Design Models. 2007 MoDELS (Doctoral Symposium) http://ceur-ws.org/Vol-262/paper07.pdf conf/models/2007ds db/conf/models/ds2007.html#Dang07