Specification of diagram editors providing layout adjustment with minimal change | IEEE Conference Publication | IEEE Xplore