Text this: Formal methods in the IS domain :