Zaslat SMS: From control law diagrams to Ada via Circus