MIRA: TLC example corrected
Actor for 1st step of use case scenario is Pedestrian, not Pedestrian Light.
(from redmine: issue id 1296, created on 2013-02-26, closed on 2013-02-26)
Actor for 1st step of use case scenario is Pedestrian, not Pedestrian Light.
(from redmine: issue id 1296, created on 2013-02-26, closed on 2013-02-26)