@szescstopni @rrwo @Threadbane @blacklight
probably the closest I know of is Drakon, which is for visual, but high integrity, formal flow charting. Apparently invented for Buran and still used for the Russian segment of the ISS.