(2020). A family of languages for trustworthy agent-based simulation. https://doi.org/10.1145/3426425.3426929