Peter H. Welch Neil Brown James Moores Kevin Chalmers Bernhard H. C. Sputh Integrating and Extending JCSP. 349-370 2007 CPA conf/wotug/2007 db/conf/wotug/cpa2007.html#WelchBMCS07 http://www.booksonline.iospress.nl/Content/View.aspx?piid=5982