@inproceedings{pronk2009,
	author          = {P. Taverne and C. Pronk},
	title           = {RAFFS: Model Checking a Robust Abstract Flash File Store},
	booktitle       = {Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods},
	publisher       = {Springer Verlag, Berlin Heidelberg New York},
	year            = {2009},
	month           = {December},
	organization    = {ICFEM 2009},
	editor          = {K. Breitman and A. Cavalcanti},
	volume          = {5885},
	series          = {LNCS},
	pages           = {226 .. 245},
	address         = {Berlin},
	isbn            = {978-3-642-10372-8},
	location        = {Rio de Janeiro},
	url             = {http://www.springerlink.com/content/56410l9829m86000/?p=463219add4af4af7a80a3f9719fa8c28&pi=11},
	project         = {msc-thesis-project},
	topic           = {Testing},
	group           = {SE}
}