Control_PW control_model_PW {
    Up up {
        isInitial = False
        isError = False
        name = "up"
    }
    Down down {
        isInitial = False
        isError = False
        name = "down"
    }
    Neutral neutral {
        isInitial = True
        isError = True
        name = "neutral"
    }

    UpPressed (down, neutral) {
        objectDetected = "*"
    }
    UpPressed (neutral, up) {
        objectDetected = "N"
    }
    DownPressed (up, neutral) {
        objectDetected = "*"
    }
    DownPressed (neutral, down) {
        objectDetected = "*"
    }
    NonePressed (up, neutral) {
        objectDetected = "*"
    }
    NonePressed (down, neutral) {
        objectDetected = "*"
    }
}