The first version of the Single Threaded Software Architecture as a literate program is now available. You may download an archive that contains the literate program source as well as the generated document and code files. Also included are a set of Makefiles that can be used to regenerate the output files from source. Included in the package is a literate program that has a set of test cases that exercises the STSA code. These may be built into a program, that when run can be used to track coverage of the code. The STSA literate program documentation is available via this link.
Looking forward there are other things to be done.