Cybersec-and-HPC-Textbook-C.../Articles/Ghosh-Ghosh2012_Article_APlanner-basedApproachToGenera.pdf