Safe Implementation of Embedded Software for a Portable Device Supporting Drug Administration. - Alena Simalatsar; Romain Bornet; Wenqi You; Yann Thoma; Giovanni De Micheli (BIBE, 2014)