Distributed verification of controllability for weighted out-tree based topology | IEEE Conference Publication | IEEE Xplore