Design Patterns for Rule-Based Refinement of Safety Critical Embedded Systems Models | IEEE Conference Publication | IEEE Xplore