Welch, Peter, Brown, Neil, Moores, James, Chalmers, Kevin, Sputh, Bernhard, "Integrating and extending JCSP.", , 2007