This is a case study of formally describing ICAD using RAISE. The
  room layout of a floor is an important work for architects. In our
  example, what is desired is a communication map of the room layout
  of a house.  An ICAD system for designing the communications map
  based on the rules is set up. We discuss the design object
  representation, and put forward a description language to formalise
  knowledge about room layouts.