Sonatus’ John Heinlein: How open-source platforms could work for safety-critical applications