Intelligible description language and its rapid verification method for design support of distributed sequential control systems | IEEE Conference Publication | IEEE Xplore