"An environment for the rapid development of embedded file systems."

Fábio Rodrigues de la Rocha, Rômulo Silva de Oliveira (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics