Contains a partial specification of RTEMS and tools to work with the specification - View it on GitHub