Vladimir Bobal, Lubos Spacek, Peter Hornak: Verification Of Robust Properties Of Digital Control Closed-Loop Systems. ECMS 2017: 348-354