A safety shell for UML-RT Projects | IEEE Conference Publication | IEEE Xplore