GeneratorRegulatorProtectorWithSpecification

SpecificationMonitormodel <h2>no fault</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>no fault</td><td>no fault</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> <h2>fault handled</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>fault</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>violation</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>true</td><td>true</td></tr></table>