Abdullah Alsaeedi2022-05-292022-05-2915922https://drepo.sdl.edu.sa/handle/20.500.14154/49791Constructing of Statecharts from Flat State MachinesThesis