Managing data freshness with MARTE in real-time databases | IEEE Conference Publication | IEEE Xplore