SDL - Linguagem formal de especificação e validaçao de sistemas complexos Conceito