Compiling Statemate Statecharts into CSP and verifying them using FDR - Roscoe, A (2003)