Drakon: a visual language for specifications from the Russian space programdrakon-editor.sourceforge.net278 pointsGuiA10 years ago