Not related, but I found amazingly rich x86 SBC with 2x M.2 slots, Seeed Odyssey, $188 or $218 with 64GB eMMC. https://www.seeedstudio.com/ODYSSEY-X86J4105864-p-4447.html

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-...