Here is my experience getting started with TLA+ and using it in my distributed systems class.

http://muratbuffalo.blogspot.com/2014/08/using-tla-for-teach...

http://muratbuffalo.blogspot.com/2015/01/my-experience-with-...