UML Finite State Machine Framework Library