Mohamad Kassab Constantinos Constantinides Olga Ormandjieva Specifying and Separating Concerns from Requirements to Design: A Case Study. 18-27 2005 conf/acit/2005 Automation, Control, and Information Technology db/conf/acit/acit2005.html#KassabCO05