An Instance of the Application Download Pattern: The SPAIDS Software Loader/Verifier Domain Analysis and Implementation. - John D. Riley; Sangiv Dungari; William Pritchett (TRI-Ada, 1997)