Reserch a possibility to add a formal verification for the given BT

[besok]

Using a combination of LSL + CSP + BT increases the robustness of the trees.

Based on the following paper