152 followers Kazuto MATSUI @csp_occam Foraml Verification of Tokeneer Behaviours Modelled in fUML using CSP :- http://t.co/qxmF8eNp 17 Feb 2013 Reply Repost Favourite