Note that the * denotes a mathematical symbol using subscript letters that do not copy correctly and the subscript characters '≥', 't' and 's', and the superscript letters 'q' and 't' in the abstract have not copied correctly.
RGMIA digitization. CAVAL 2011. Abstract removed  Lyn 26/9/12.