KhronoSim: A Platform for Complex Systems Simulation and Testing. - Alcidney Chaves; Ricardo Maia; Carlos Belchio; Rui Araújo; Gonçalo Gouveia (ETFA, 2018)