Http://cfs UML-B & U2B Colin Snook & Michael Butler University of Southampton Colin Snook & Michael Butler University of Southampton.