Mechanical Software Fault Tree Generation for NuSCR Specifications