module bft-task-distrib-model