Constrained Chinese Postman Problem with Its Application on Synchronizable Protocol Test Generation. - Wen-Huei Chen; Ching-Sung Lu; Jin-Tuu Wang; Richard-Jinjr Lee (J. Inf. Sci. Eng., 1990)