Order structure of symbolic assertion objects | IEEE Journals & Magazine | IEEE Xplore