The SDL pattern approach - a reuse-driven SDL methodology for designing communication software systems