cfm/ readings/ Weeks of debugging Weeks of debugging can save you hours of TLA+. Markus Alexander Kuppe, BlockingQueue