An automated method for identifying inconsistencies within diagrammatic software requirements specifications | lit.salon