@article {1911.02537, archivePrefix = {arXiv}, eprint = {1911.02537}, primaryClass = {eess.SY}, author = {Maximilian Gaukler and Günter Roppenecker and Peter Ulbrich}, title = {Details and Proofs for: Stability Analysis of Multivariable Digital Control Systems with Uncertain Timing}, year = {2019}, url = {http://arxiv.org/abs/1911.02537} }