X_Machines + L_Systems = XL_Systems. - Salim K. Vanak (Computer Graphics International, 2000)

Complete functional testing of hardware descriptions. - Salim K. Vanak (2002)

Testing methods for X-machines: a review. - Kirill Bogdanov 002; Mike Holcombe; Florentin Ipate; L. Seed; Salim K. Vanak (Formal Aspects Comput., 2006)