CarTracking

NetworkModelmodel <h2>faulty</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>faulty</td><td>faulty</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>normal</td><td>normal</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>