@Inbook{Clarke2016,
author="Clarke, Dave
and Wrigstad, Tobias",
editor="{\'A}brah{\'a}m, Erika
and Bonsangue, Marcello
and Johnsen, Broch Einar",
title="Vats: A Safe, Reactive Storage Abstraction",
bookTitle="Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday",
year="2016",
publisher="Springer International Publishing",
address="Cham",
pages="140--154",
isbn="978-3-319-30734-3",
doi="10.1007/978-3-319-30734-3_11",
url="http://dx.doi.org/10.1007/978-3-319-30734-3_11"
}