TARTOS-tool box for active real-time object-oriented database system models | IEEE Conference Publication | IEEE Xplore