An experimental debugger in a limited programming environment. - Zen Kishimoto (SIGSOFT, 1983)

Requirements-Based Testing of Real-Time Systems: Modeling for Testability. - M. Chandrasekharan; B. Dasarathy; Zen Kishimoto (Computer, 1985)