Specification Analysis Tool
This template reflects a set of rules found in the NASA ARM tool, as as interpreted by SAT staff. If these rules make sense for you then bring them into your template.
original processing URL http://localhost:4444/~sat/satpro.cgi v 0.4.4
20:21:15 Start Time
20:21:15 End Time