TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems. - Marco Bernardo 001; Rance Cleaveland; Steve Sims; W. Stewart (FORTE, 1998)