One of our paper has been accepted by 44th International Symposium on Reliable Distributed Systems (SRDS). [CCF B]