Verifying and Analyzing Adaptive Logic through UML State Models | Publicación