The software below is available for download here. Please always use the latest version.
www:    https://www.cs.nott.ac.uk/~pszjpt
email:  jamie.twycross AT nottingham.ac.uk
office: B48 School of Computer Science
        Jubilee Campus
        University of Nottingham
        Wollaton Road
        Nottingham NG8 1BB
        U.K.