Design Patterns for Rule-Based Refinement of Safety Critical Embedded Systems Models. - Fabien Cadoret; Etienne Borde; Sébastien Gardoll; Laurent Pautet (ICECCS, 2012)