State space visualization using PGF/TikZ (LaTeX).