Hmm, ja bym zaczął od KISS (Keep It Simple) - czyli nie komplikowania ponad potrzebę. Driver i LampsSequence, na ile je rozumiem, wyglądają na właśnie przesadne kombinowanie.
Z drugiej strony, fajnie żeby aplikacja była rozszerzalna - na przykład gdybyś po obsłudze autostrady chciał napisać też na wigilię software do świateł na choince ;)
Dlatego wypadałoby jakoś oddzielić ideę 'migającej lampy' od labela - ta 'lampa' to coś co można zapalić/zgasić i właściwie tyle Ci potrzeba.
Czyli najpierw tworzysz abstrakcyjny interfejs IŚwiatła (obsługującego na przykład getZapalona i setZapalona).
Następnie tworzysz konkretną implementację - na przykład ŚwiatłoLabelowe (bo ma być reprezentowane jako label) - które przy setZapalona zmienia swój tekst.
Jeśli masz już uniwersalne pojęcie światła (w zasadzie to jest coś jak jeszcze bardziej ogólny 'przełącznik' niż 'światło', ale...) możesz się zająć algorytmem migania.
To dalej można rozwiązać na wiele sposobów - ja bym do tego jeszcze nie mieszał mierzenia czasu - proponuję stworzyć klasę HighwayAlgorithm z metodą Update(float deltaTime) która powodowałaby symulację upłynięcia deltaTime sekund czasu rzeczywistego.
No i największy 'problem', czyli sama klasa HighwayAlgorithm - z tego co rozumiem, ma to wyglądać tak że masz kilka labeli/świateł ułożonych po kolei w postaci "0 0 0 0 0 0" i ma po nich 'przebiegać' w kółko pojedynczy "_". Najprościej chyba trzymać 1) indeks aktualnie zapalonego światła 2) ile sekund (a raczej jaka część sekundy) zostało do kolejnej zmiany stanu.
Czyli przy każdym update robisz coś w rodzaju:
update(deltaTime):
timeLeft -= deltaTime # minęło deltaTime sekund, czyli czas do zmiany stanu zmniejszył się o deltaTime sekund
while timeLeft < 0: # jeśli ilość czasu jaka została jest mniejsza od zera
# (while zamiast if gdyby deltaTime było przypadkowo większe niż FLASH_TIME - tak dla pewności)
timeLeft += FLASH_TIME # FLASH_TIME to stała określająca co ile czasu się zmienia stan
# czyli co FLASH_TIME sekund znak '_' przesuwa się o jedną pozycję
currentNdx += 1 # przesuwamy zapalone światło o jeden
updateLights() # zmieniamy światłom stan tam gdzie trzeba - tzn. jedno światło gaśnie, inne się zapala.
Powinna przyjmować w konstruktorze listę świateł które ma obsługiwać w kolejności w jakiej się mają zapalać.
HighwayAlgorithm trzymasz chociażby w oknie głównym, ważne żeby na nim cyklicznie (np. co 1/20 sekundy) wywoływać Update().
Hmm, mam nadzieję że w miarę jasno opisałem swój pomysł...