Hansen, Dominik and Leuschel, Michael  (2012) Translating TLA+ to B for Validation with ProB.  In: Proceedings iFM'2012.