@InProceedings{Wiśniewski:2019,
author
=
"R.Wiśniewski and G.Bazydło and L.Gomes and A.Costa and M.Wojnakowski",
title
=
"Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools",
booktitle
=
"45th Annual Conference of the IEEE Industrial Electronics Society - IECON 2019; ISBN: 9781728148786",
address
=
"Lisbon, Portugalia",
publisher
=
"New York IEEE Xplore ",
pages
=
"5843--5848",
year
=
"2019",
}