Verification Of Robust Properties Of Digital Control Closed-Loop Systems. - Vladimir Bobal; Lubos Spacek; Peter Hornak (ECMS, 2017)