Verifying Statemate Statecharts Using CSP and FDR (Proceedings of ICFEM 2006, 2006)

(untitled) - Roscoe, A; Wu, Z