Brahim Hamid, Sigrid Gürgens, Christophe Jouvray, Nicolas Desnos: Enforcing S&D Pattern Design in RCES with Modeling and Formal Approaches. MoDELS 2011: 319-333