Irith Pomeranz, Sudhakar M. Reddy. On Test Generation for Interconnected Finite-State Machines: The Input Sequence Propagation Problem. In 5th Asian Test Symposium (ATS 96), November 20-22, 1996, Hsinchu, Taiwan. pages 16-21, IEEE Computer Society, 1996. [doi]
Abstract is missing.