The Concurrency Workbench of North Carolina, which includes a LOTOS interface and diagnostic information.
Downloads:
CWB-NC overview at Stony Brook