Text this: From control law diagrams to Ada via Circus