Verifying sequence and content for safety critical hypermedia systems | IEEE Conference Publication | IEEE Xplore