<?xml version="1.0" encoding="UTF-8"?>
<!--
// Copyright (C) 2023 The Qt Company Ltd.
// SPDX-License-Identifier: LicenseRef-Qt-Commercial OR BSD-3-Clause
-->
<scxml
    xmlns="http://www.w3.org/2005/07/scxml"
    xmlns:qt="http://theqtcompany.com/scxml/2015/06/"
    version="1.0"
    name="TrafficLightStateMachine"
    initial="working"
>
    <state id="working" initial="yellow">
        <state id="red">
            <onentry>
                <send event="startGoingGreen" delay="3s"/>
            </onentry>
            <transition event="startGoingGreen" target="redGoingGreen"/>
        </state>

        <state id="yellow" initial="greenGoingRed">
            <state id="redGoingGreen">
                <onentry>
                    <send event="goGreen" delay="1s"/>
                </onentry>
                <transition event="goGreen" target="green"/>
            </state>

            <state id="greenGoingRed">
                <onentry>
                    <send event="goRed" delay="1s"/>
                </onentry>
                <transition event="goRed" target="red"/>
            </state>
        </state>

        <state id="green">
            <onentry>
                <send event="startGoingRed" delay="3s"/>
            </onentry>
            <transition event="startGoingRed" target="greenGoingRed"/>
        </state>

        <transition event="smash" target="broken"/>
    </state>

    <state id="broken" initial="blinking">
        <state id="blinking">
            <onentry>
                <send event="unblink" delay="1s"/>
            </onentry>
            <transition event="unblink" target="unblinking"/>
        </state>

        <state id="unblinking">
            <onentry>
                <send event="blink" delay="1s"/>
            </onentry>
            <transition event="blink" target="blinking"/>
        </state>

        <transition event="repair" target="working"/>
    </state>
</scxml>
