DESERT: A decentralized monitoring tool generator