@conference {belikov_mathmod_2012,
	title = {Symbolic polynomial tools for nonlinear control systems},
	booktitle = {The 7th Vienna International Conference on Mathematical Modelling},
	year = {2012},
	month = {February},
	pages = {1{\textendash}6},
	address = {Vienna, Austria},
	author = {Juri Belikov and {\"U}lle Kotta and M. T{\~o}nso}
}
