State space visualization using
PGF/TikZ
(LaTeX).