?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=Dang%2C+Duc+Hanh&rft.aulast=Dang&rft.aufirst=Duc+Hanh&rft.date=2007&rft.title=Validation+of+System+Behavior+from+an+Integrated+Semantics+of+Use+Case+and+Design+Models&rft.genre=proceeding