ALDB: Debugging Alloy Models of Behavioural Requirements. - Aman Dureja; Aditya Keerthi; Andrew Liang; Paul Zhang; Nancy Day (MoDRE@RE, 2020)