Batz, K., Gallus, A., Kaminski, B.L., Katoen, J.-P., Winkler, T., 2022. Weighted programming: a programming paradigm for specifying mathematical models.. https://doi.org/10.1145/3527310