A method of implementing UML virtual machines with some constraints based on abstract state machines | IEEE Conference Publication | IEEE Xplore