Add support for state-space systems (Observability)

[lennonchaves]

Implement scripts in order to reproduce the counterexamples for observability property

• Implement C/C++ code to print the counterexamle
• Implement MATLAB scripts to read the counterexample
• Implement MATLAB scripts to simulate/reproduce the counterexample