Joshua Alele-Beals Nathan Englehart Ishaq Kothari Ali Ebnenasir Charles R. Wallace Exploring consequences of statutory law through lightweight modeling. 348-352 2024 VL/HCC https://doi.org/10.1109/VL/HCC60511.2024.00045 conf/vl/2024 db/conf/vl/vlhcc2024.html#Alele-BealsEKEW24