@InProceedings{merz:refinement-types, author = {Stephan Merz and Hern{\'a}n Vanzetto}, title = {Refinement Types for {TLA\textsuperscript{+}}}, booktitle = {6th Intl. {NASA} Symp. Formal Methods (NFM 2014)}, year = 2014, editor = {Julia M. Badger and Kristin Yvonne Rozier}, volume = 8430, series = {LNCS}, pages = {143-157}, address = {Houston, TX, U.S.A.}, publisher = {Springer}, }