Text this: Formal models and practical tools for information systems design :