{title}Tip Flashing{/title}
{author}jp{/author}
{default}crash_flashing.html{/default}
{text}

<h2 style="font-size:140%">Tip Flashing</h2> 

<p>
  This test generation is a user-defined test illustrating the <b>tip flashing</b> 
  function modeled by state machine IMR.SystemUnderTest.NormalAndEmerFlashing.LeftRightFlashing in
  <a href="http://www.informatik.uni-bremen.de/agbs/testingbenchmarks/turn_indicator/model_html.1.3/index.html">
turn indicator model</a>: if the turn indicator lever is put into position left or right for less than 
  440ms, three flashing periods will be enforced by the controller before the indication is switched off again.
</p>