Bruce Edmonds, J. Gareth Polhill: Combining Constraint-Based and Imperative Programming in MABS for More Reliable Modelling. MABS 2023: 46-57