PicOS: A Tiny Operating System for Extremely Small Embedded Platforms. - E. Akhmetshina; Pawel Gburzynski; Frederick S. Vizeacoumar (Embedded Systems and Applications, 2003)