TwoTowers: A tool integrating functional and performance analysis of concurrent systems (1998)

by M Bernardo, R Cleaveland, S Sims, W Stewart
Venue:In Proceedings of FORTE, volume 135 of IFIP Conference Proceedings