https://123dok.org/document/wq29kd2z-algorithms-optimal-motion-planning-process-algebra-mission-specifications.html