Model-based testing of a highly programmable system. - Siddhartha R. Dalal; Ashish Jain; Nachimuthu Karunanithi; J. M. Leaton; Christopher M. Lott (ISSRE, 1998)

Model-Based Testing in Practice. - Siddhartha R. Dalal; Ashish Jain; Nachimuthu Karunanithi; J. M. Leaton; Christopher M. Lott; Gardner C. Patton; Bruce M. Horowitz (ICSE, 1999)