Stability Verification of Self-Timed Control Systems Using Model-Checking. - Viktorio Semir el Hakim; Marco Jan Gerrit Bekooij (DSD, 2018)