Formal specification and verification of hypermedia documents based on the Nested Context Model | IEEE Conference Publication | IEEE Xplore