The whole Buran spacecraft https://en.wikipedia.org/wiki/Buran_(spacecraft) was designed using Drakon