TuLiPFSM.fmu
The implements the following equation:
TBD
with start values TBD
TBD: TBD
The above description refers to the variables used in file
TuLiPFSM.c
.