logEnter
logExit
logTransition
incCounter
logTransition
logInvalid
logEnter
logExit
logEnter
logExit
startTimer
stopTimer
logTransition
logEnter
logExit
logTransition
incCounter
logTransition
logInvalid
logEnter
logExit
startTimer
stopTimer
logTransition
logEnter
logExit
logEnter