1.
4.
Solvingn the Santa Claus concurrency puzzle with a model checker
(news.ycombinator.com)
5.
6.
7.
8.