Synthesis of serving policies for objects flow in the system with refillable storage component | IEEE Conference Publication | IEEE Xplore