NobleBlocks
    Guaranteed recursive nonlinear state estimation using interval analysis | NobleBlocks