@inproceedings{bouzidi2016certified,
  title={Certified Algorithms for proving the structural stability of two dimensional systems possibly with parameters},
  author={Bouzidi, Yacine and Rouillier, Fabrice},
  booktitle={MNTS 2016-22nd International Symposium on Mathematical Theory of Networks and Systems},
  year={2016}
}