The diagram

The diagram is based on dedicated and customisable libraries. The symbols are integrated into the diagram by means of elaborate connection functions (copy/paste, drag and drop, sample diagrams, etc.).
Connection control functions ensure the consistency of the diagram: unconnected pins, conflicts, wire routing.
Contacts are affected in real time.