The website of PyECDAR has been recently updated.
Documentation has been added about the the installation, the tool usage, based on a small tutorial, and some bibliography about timed specifications and robustness in timed specifications.
Some examples have also been added.
