Andres J. Ramirez, Betty H. C. Cheng. Verifying and Analyzing Adaptive Logic through UML State Models. In First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008. pages 529-532, IEEE Computer Society, 2008. [doi]
Abstract is missing.