Van Oudheusden, D. and Janssens, G. 1995. Availability of three-machine two-buffer systems. JORBEL - Belgian Journal of Operations Research, Statistics, and Computer Science. 34, 2 (Apr. 1995), 17–37.