ProB-Timed-CSP

The extension of ProB for Timed-CSP is developed at Swansea University (UK).