A Tool to Support Model-Based Testing Activities | IEEE Conference Publication | IEEE Xplore