Consistency Verification between Software Design Models and User Interface Design Based on Components Relationships | IEEE Conference Publication | IEEE Xplore