_id,doi,title
1134,10.1109/CCA.2016.7587948,Tutorial: Software tools for hybrid systems verification transformation and synthesis C2E2 HyST and TuLiP