Kirill Bogdanov Mike Holcombe Florentin Ipate L. Seed Salim K. Vanak Testing methods for X-machines: a review. 3-30 2006 18 Formal Asp. Comput. 1 http://dx.doi.org/10.1007/s00165-005-0085-6 db/journals/fac/fac18.html#BogdanovHISV06