Text this: Formal Methods in Standards :