Transformations of software models into performance models