Verifying and Analyzing Adaptive Logic through UML State Models | IEEE Conference Publication | IEEE Xplore