José Serna, Nancy A. Day, Sabria Farheen: DASH: A New Language for Declarative Behavioural Requirements with Control State Hierarchy. RE Workshops 2017: 64-68