A case study of multi-threading in the embedded space
What are race conditions?: Some issues and formalizations