Articles in Scholarly Journals [Incomplete List]

1. ITC 2003 panels: Part 1 [Panel Summaries]
   IEEE Design & Test of Computers, vol. 21, no. 2, pp. 160–163, 2004
2. Monitoring machine based synthesis technique for concurrent error detection in finite state machines
   Journal of Electronic Testing: Theory and Applications (JETTA), vol. 8, no. 2, pp. 179–201, 1996
3. Concurrent error detection using monitoring machines
   IEEE Design and Test of Computers, vol. 12, no. 3, p. 24, 1995