Describir: Design methods for reactive systems :