Improving Reliability of Myocontrol Using Formal Verification