Portus: Linking Alloy with SMT-based Finite Model Finding. - Ryan Dancy; Nancy A. Day; Owen Zila; Khadija Tariq; Joseph Poremba (CoRR, 2024)