Modélisation et analyse de systèmes embarqués — Smain Femmam