Model Based Testing in Practice at Microsoft. - Keith Stobie (MBT, 2004)

Too darned big to test. - Keith Stobie (ACM Queue, 2005)

Model-Based Quality Assurance of Windows Protocol Documentation. - Wolfgang Grieskamp; Nicolas Kicillof; Dave MacDonald; Alok Nandan; Keith Stobie; Fred L. Wurden (ICST, 2008)

Model-Based Quality Assurance of the SMB2 Protocol Documentation. - Wolfgang Grieskamp; Nicolas Kicillof; Dave MacDonald; Alok Nandan; Keith Stobie; Fred L. Wurden; Danpo Zhang (QSIC, 2008)

Model-based quality assurance of protocol documentation: tools and methodology. - Wolfgang Grieskamp; Nicolas Kicillof; Keith Stobie; Víctor A. Braberman (Softw. Test. Verification Reliab., 2011)

OS X mountain lion pocket guide by Chris Seibold. - Keith Stobie (ACM SIGSOFT Softw. Eng. Notes, 2013)