Applying CSP || B to information systems. - Evans, Neil; Treharne, Helen; Laleau, Régine; Frappier, Marc (Software & Systems Modeling, 2008)