Rocha, F., & 		Oliveira, R.
(2004).
 Tool for the Design of Embedded Real-Time File Systems.
In <em>Proceedings of the 1st Workshop on Operating Systems</em>, (pp. 11-20). Porto Alegre: SBC.