A foundation for tool-supported critical systems development with UML | IEEE Conference Publication | IEEE Xplore