--- /dev/null
+[[pub]]
+title = """\
+ A comparison of the declarative modelling languages B, Dash, \
+ and TLA<sup>+</sup> \
+ """
+description = """\
+ Ali Abbassi, Amin Bandali, Nancy A. Day, and Jose \
+ Serna. In *International Workshop on Model-Driven \
+ Requirements Engineering (MoDRE) @ IEEE International \
+ Requirements Engineering Conference (RE)*. To appear, \
+ 2018. \
+ """
+links = """\
+ pdf, \
+ bib, \
+ [models](https://cs.uwaterloo.ca/~nday/models/2018-modre) \
+ """