EpiSpec: A formal specification language for parameterized agent-based models against epidemiological ground truth | IEEE Conference Publication | IEEE Xplore