Dang, Duc Hanh (2007) Validation of System Behavior from an Integrated Semantics of Use Case and Design Models. In: The 10th International Conference on Model-Driven Engineering Languages and Systems (MoDELS/Doctoral Symposium), 2007.