Cross-layer Formal Verification of Robotic Systems. - Sylvain Raïs; Julien Brunel; David Doose; Frédéric Herbreteau (FMAS@iFM, 2024)