A report on teaching computer science using TLA+
motivation: http://muratbuffalo.blogspot.com/2014/08/using-tla-for-teaching-distributed.html
experience: http://muratbuffalo.blogspot.com/2015/01/my-experience-with-using-tla-in.html