Inter-task communication and synchronization in the hard real-time compact kernel HARETICK | IEEE Conference Publication | IEEE Xplore