Intelligible description language and its rapid verification method for design support of distributed sequential control systems. - Takaaki Nakasiba; Akitsugu Tsuchiya; Yoshitomo Ikkai; Norihisa Komoda; Yasuo Namioka (ETFA (2), 2001)