Embedded system modelling