A Comparison of the Declarative Modelling Languages B, Dash, and TLA+. - Ali Abbassi; Amin Bandali; Nancy A. Day; José Serna (MoDRE@RE, 2018)