Protocol Modeling in SDL: Part 1