TIPPtool: Compositional Specification and Analysis of Markovian Performance
Models. H. Hermanns, V Mertsiotakis, and M. Siegle. In: Computer Aided
Verification (CAV) 99,  Springer, LNCS 1633.

In this short paper we briefly describe a tool which is based on a Markovian
stochastic process algebra.  The tool offers both model specification and
quantitative model analysis in a compositional fashion, wrapped in a
user-friendly graphical front-end.