A DB/DC platform for real-time operating systems based on CTRON specifications | IEEE Conference Publication | IEEE Xplore