A Shrinking Boundary Algorithm for Discrete System Models | IEEE Journals & Magazine | IEEE Xplore