Figure: SDL for design and specification of behaviour