A Way to Comprehend Counterexamples Generated by the Maude LTL Model Checker | IEEE Conference Publication | IEEE Xplore