NREC technical report. 42. PARM, program analysis for resource management, introduction to post-attack recovery planning system; by John De Witt Norton.