Sébastien Saudrais, Olivier Barais, Noël Plouzeau, Jean-Marc Jézéquel. Monitoring your Lego Mindstorms with Giotto.
in Proceedings of ARTIST International Workshop on Tool Platforms for Modeling, Analysis and Validation of Embedded Systems, 2007, Berlin, Germany, Germany.
⟨inria-00477557⟩