High Assurance Controller of Self-balancing Robot - View it on GitHub