Method integration: concepts and case studies

The concept of method integration methods investigated SA/IM-HOOD integration II-HIT integration SDL-HIT integration VHDL-HIT integration AKL-SDL integration COLD-SDL integration SDL-LOTOS integration SDL-VHDL integration review of experiences.