Modelling Informal Settlements Using a Hybrid Automata Approach · Study