From Lustre to Graphical Models and SCCharts | IEEE Conference Publication | IEEE Xplore