Duc-Hanh Dang: Validation of System Behavior from an Integrated Semantics of Use Case and Design Models. MoDELS (Doctoral Symposium) 2007