An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models