Modeling and Verifying for Frameset-Based Web Applications | IEEE Conference Publication | IEEE Xplore