Application of specification language SOL and its verification method to a flexible manufacturing line | IEEE Conference Publication | IEEE Xplore