Pedro Silva Nuno Macedo 0001 José N. Oliveira On Quantitative Solution Iteration in QAlloy. 88-105 2025 ABZ https://doi.org/10.1007/978-3-031-94533-5_6 conf/zum/2025 db/conf/zum/abz2025.html#SilvaMO25 streams/conf/zum