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

Transitive-closure-based model checking (TCMC) in Alloy. - Sabria Farheen; Nancy A. Day; Amirhossein Vakili; Ali Abbassi (Softw. Syst. Model., 2020)