Validation des systèmes embarqués Model checking