An Instance of the Application Download Pattern: The SPAIDS Software Loader/Verifier Domain Analysis and Implementation

John D. Riley, Sangiv Dungari, William Pritchett. An Instance of the Application Download Pattern: The SPAIDS Software Loader/Verifier Domain Analysis and Implementation. In TRI-Ada. pages 273-278, 1997. [doi]