An Educational Open Source Real-Time Kernel for Small Embedded Control Systems. - Michele Cirinei; Antonio Mancina; Davide Cantini; Paolo Gai; Luigi Palopoli 002 (ISCIS, 2004)