Integrated Design Environments: Fundamental Specifications