A UML/MARTE Profile for Real-Time Databases | IEEE Conference Publication | IEEE Xplore