Cyber Range Kyoushi - State Machines User simulation state machines for the AIT Cyber Range and AECID testbeds.