Control of UML diagrams in designing automated systems software | IEEE Conference Publication | IEEE Xplore