TIPPtool: Compositional Specification and Analysis of Performance Models