I bought the Viessmann traffic light set; for around €40 you get two traffic light models including the controller. The technical implementation of the LEDs in the traffic light (Charlieplexing) is surprising.
The controller uses an Attiny13 microcontroller.