Note that the subscript character 'α' in the abstract has not copied correctly. RGMIA digitization. CAVAL 2011 Abstract removed Lyn 25/9/12