A real device model
Devices and symbols are separate. A contactor is one device drawn as coil and contacts — tags and cross-references stay consistent by construction.
IEC 60617 control-panel schematics in your browser — drawn on a real device model.