Mühlberg, Lüttgen, 2011. Verifying compiled file system code 24.. https://doi.org/10.1007/s00165-011-0198-z