Evaluating tool support for embedded operating system security: an experience feedback. - Matthias Pasquier; Frédéric Jouault; Matthias Brun 001; Julien Pérochon (MoDELS (Companion), 2020)