Deriving performance models of software architectures from message sequence charts