Sebastián Uchitel Jeff Kramer Jeff Magee Behaviour model elaboration using partial labelled transition systems. 19-27 2003 conf/sigsoft/2003 ESEC / SIGSOFT FSE http://doi.acm.org/10.1145/940071.940076 db/conf/sigsoft/fse2003.html#UchitelKM03