Rance Cleaveland, Tan Li and Steve Sims. The Concurrency Workbench of the New Century. User's manual. Version 1.2. July 2000.