Forcing Values
You can force values to overload execution values.
A forcing lets you set a value to a variable. Indeed, during an execution, if the variable value should be replaced by a computed value, the forced value overloads this value.
It can be used to test a model by inserting faults such as failures or disconnect elements.