@inproceedings{SisLab1968,
       booktitle = {The 10th International Conference on Model-Driven Engineering Languages and Systems (MoDELS/Doctoral Symposium)},
          volume = {262},
           title = {Validation of System Behavior from an Integrated Semantics of Use Case and Design Models},
          author = {Duc Hanh Dang},
       publisher = {CEUR-WS.org},
            year = {2007},
           pages = {1--5},
             url = {https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1968/}
}