Temporal logic query checking: a tool for model exploration | IEEE Journals & Magazine | IEEE Xplore