Pdf Modelling Informal Settlements Using A Hybrid Automata Approach