selected publications conference paper Design Patterns for Rule-Based Refinement of Safety Critical Embedded Systems Models. . 67-76. 2012