Modelling of Software-Intensive Systems