Statistics of Tackling the equivalent mutant problem in real-time systems: the 12 commandments of model-based mutation testing