Kernel structuring using time-triggered message-triggered objects for real-time active DBMS in layered architecture | IEEE Conference Publication | IEEE Xplore