Neil Evans Helen Treharne Régine Laleau Marc Frappier Applying CSP || B to information systems. 85-102 2008 7 Software and System Modeling 1 http://dx.doi.org/10.1007/s10270-007-0048-x db/journals/sosym/sosym7.html#EvansTLF08