Population-based CTMCS and agent-based models | IEEE Conference Publication | IEEE Xplore