Text this: Design methods for reactive systems :