@conference {,
	title = {Model-Checking Support for File System Development},
	booktitle = {Proceeding of HotStorage {\textquoteright}21, the 13th ACM Workshop on Hot Topics in Storage and File Systems},
	year = {2021},
	month = {07/2021},
	author = {W. Su and Y. Liu and G. Ganesan and G. Holzmann and G. Kuenning and S. A. Smolka and E. Zadok}
}
