Safe Contiki OS: Type and Memory Safety for Contiki OS. - Tomsy Paul; G. Santhosh Kumar (ARTCom, 2009)