Fix distance calculation in brake() in pseudo code
Fix little style issue in NaSch-Model description
Add details to NaSch-Model
Add short overview about Nagel-Schreckenberg-Model
Add `Traffic Jam Inversion` to impl. details
Add `Critical Zone` to implementation details
Refactor formulation
Add intro and short serialization text