Changyan Zhou Ratnesh Kumar Devesh Bhatt Kirk Schloegel Darren D. Cofer A Framework of Hierarchical Requirements Patterns for Specifying Systems of Interconnected Simulink/Stateflow Modules. 179-184 2007 conf/seke/2007 SEKE db/conf/seke/seke2007.html#ZhouKBSC07