models. It's a better semantic and improve performance as well as
readability of the code. All the tests passes (except the remark in the
last commit).

Fix about methods of SynchronizedTrajectory + tests.

Simulation for ParametricModel works.

efficient.

First bricks of the automaton_abc algorithm.

Add several convenient methods for parameters of model.

Next step: implementation of simulate with resize!.