Deriving Performance Models from Software Architecture Specifications