Object-based design of embedded software using real-time operating systems | IEEE Conference Publication | IEEE Xplore