A tool for translating state charts to CSP - View it on GitHub