A design analysis tool for embedded systems based on abstract system modelling