My team and I are currently exploring some useful features of 4diac and attempting to modify the source code to meet our requirements. So far, we have successfully integrated FMI into 4diac for ...