Data Type Propagation in Simulink Models with Graph Transformation | IEEE Conference Publication | IEEE Xplore