LaTe, a Non-fully Deterministic Testing Language. - Emmanuel de Rosière; Claude Jard; Benoit Parreaux (TestCom, 2006)