Test Suite Assessment of Safety-Critical Systems using Safety Tactics and Fault-Based Mutation Testing