Live updates for safety-critical systems - View it on GitHub