An edge over petrinets with timed automata in model based testing using automation in safety critical system