Aman Dureja, Aditya Keerthi, Andrew Liang, Paul Zhang, Nancy Day. ALDB: Debugging Alloy Models of Behavioural Requirements. In 10th IEEE International Model-Driven Requirements Engineering, MoDRE@RE 2020, Zurich, Switzerland, August 31, 2020. pages 21-30, IEEE, 2020. [doi]