Modificand o capítulo de Formalismos para Modelagem de Sistemas.
(Confuso sobre isso...)

Signed-off-by: Cristiano Fernandes <cristiano@azapp.net>