DLT design and robustness verification based on random graph theory | IEEE Conference Publication | IEEE Xplore