Text this: Advances in formal methods.