Text this: LF : a language for reliable embedded systems