Statistics for Formal verification strategy for statechart based design of reconfigurable control of high integrity reactive systems