An optimal scheduling technique for dual-arm cluster tools with buffer modules | IEEE Conference Publication | IEEE Xplore