A Tabular Expression Toolbox for Matlab/Simulink. - Colin Eles; Mark Lawford (NASA Formal Methods, 2011)