Text this: Specification and Development of Interactive Systems :