RTFM is a set of languages and tools developed to facilitate both concurrent programming in general and embedded real-time software development in particular.
The documentation including source code is available at http://rtfm.codeplex.com.