A framework for the automated derivation and parallel execution of finit...
This repository contains the MATLAB/Simulink source code to reproduce th...