Towards Formal Verification Methods for Robotic Lower-Limb Prostheses and Orthoses