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
Before we are able to make any updates or deletions, you must ensure that the original record at this location is updated/removed.