GeneratorRegulatorProtectorWithSpecificationAsAspect

Supervisormodel <h2>flag</h2><table border="1"><tr><td><b>Parameter</b></td><td><b>Expression</b></td><td><b>Value</b></td></tr><tr><td>refinementName</td><td>&nbsp;</td><td>&nbsp;</td></tr><tr><td>isInitialState</td><td>false</td><td>false</td></tr><tr><td>isFinalState</td><td>false</td><td>false</td></tr></table> <h2>noflag</h2><table border="1"><tr><td><b>Parameter</b></td><td><b>Expression</b></td><td><b>Value</b></td></tr><tr><td>refinementName</td><td>&nbsp;</td><td>&nbsp;</td></tr><tr><td>isInitialState</td><td>true</td><td>true</td></tr><tr><td>isFinalState</td><td>false</td><td>false</td></tr></table>