Article Takedown/Update Request

This is an update request for the document TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems by Marco Bernardo, Rance Cleaveland, Steve Sims and William Stewart

Your paper was deposited in CiteSeerX and appears online at http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.3350
Before we are able to make any updates or deletions, you must ensure that the original record at this location is updated/removed.