Self-Validated Time-Domain Analysis of Linear Systems With Bounded Uncertain Parameters | IEEE Journals & Magazine | IEEE Xplore