Collision Probability in an In-Line Machines Model. - Eishi Chiba; Tetsuo Asano; Takeshi Miura; Naoki Katoh; Ikuo Mitsuka (Trans. Comput. Sci., 2011)