Alan Hartman Mika Katara Sergey Olvovsky Choosing a Test Modeling Language: A Survey. 204-218 2006 conf/hvc/2006 Haifa Verification Conference http://dx.doi.org/10.1007/978-3-540-70889-6_16 db/conf/hvc/hvc2006.html#HartmanKO06