SDL-with applications from protocol specification