Application of specification language SOL and its verification method to a flexible manufacturing line. - Yoshitomo Ikkai; Takaaki Nakashiba; Norihisa Komoda (ACC, 2002)