ContRap
The symbolic tool for software rapid prototyping
Documentation