Guiver, Christopher, Logemann, Hartmut, "A circle criterion for strong integral input-to-state stability", Automatica, 2020