Drakon: a visual language for specifications from the Russian space program | Heykuki News