© AbsInt. Astrée wird entwickelt und vertrieben von AbsInt unter Lizenz von CNRS/ENS.
Traffic lights image: Raysonho, CC0 1.0, sky photography: S. Eugster, CC BY-SA 3.0. Impressum. URL: http://www.absint.com/astree/slides/5.htm