Modern integrated navigation and guidance systems are typically implemented as software programs that run on general purpose computer hardware. Depending on the application, the software programs represent hundreds of thousands of Source Lines of Code (SLOC) implementing complex algorithms. This