Automatic layout of diagrams for software specification | IEEE Conference Publication | IEEE Xplore