Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

enduser/Discrete-Event-Controller-Synthesis.md

-MTSA supports synthesising behaviour models that control a given plant to satisfy a given property. The plant is defined using an FSP composite process. The property is defined using the `controllerSpec` keyword.
+MTSA supports synthesising behaviour models that control a given plant to satisfy a given property. The plant is defined using an FSP composite process, which may be explicitly marked with the `plant` keyword (e.g. `plant ||NAME = (...).`) to designate it as the uncontrolled environment for synthesis. The property is defined using the `controllerSpec` keyword.
 
 
 # GR1