An exact method for solving the buffer sizing and inspection stations allocations problem | IEEE Conference Publication | IEEE Xplore