Choosing a Test Modeling Language: A Survey. - Alan Hartman; Mika Katara; Sergey Olvovsky (Haifa Verification Conference, 2006)