Developing Embedded Control Systems with XtratuM - Application to Control the Attitude of a Mini-helicopter | Publicación