@misc{indiciae3dad7d5bdaa7,
  title = {Descriptor System Tools (DSTOOLS) User's Guide},
  author = {Andreas Varga},
  year = {2018},
  url = {https://arxiv.org/abs/1707.07140},
  note = {Source identifier: 1707.07140}
}