DEBORAH: A Tool for Worst-Case Analysis of FIFO Tandems