ight="221" width="670"><br>
We see in OclPlus notation the state but can make out that fuel has
dropped to 35 units. We now stretch out the time line to time 8. We see
that the process of rotating is shown as completed and the end rotate
event has been fired, shown by the cross icon. Inspecting the state
after the event reveals
fuel dropped to 20 units after travelling for 7 time units.<br>
<img src="plusTank9.jpg" alt="" border="0" height="233" width="706"><br>
We might now complete our test by dragging th