TwoMachineInfiniteBusControl

TMIBmodel <h2>Recovery</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>Recovery</td><td>Recovery</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>1 line without G2</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>withoutG2</td><td>withoutG2</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>state2</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> <h2>1 line</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>FAULT2</td><td>FAULT2</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-on</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>FAULT1</td><td>FAULT1</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>normal</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>filltank</td><td>filltank</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>