Tamara L. Dahlgren and Premkumar T. Devanbu. Adaptable Assertion Checking for Scientific Software Components. In Philip M. Johnson, (ed.) Proceedings of the First International Workshop on Software Engineering for High Performance Computing System Applications (SE-HPCS), pp. 64-69. 2004. (also available as Lawrence Livermore National Laboratory Technical Report UCRL-CONF-202898)