DEVS-scripting: A Black-Box Test Frame for Devs Models. - Matthew B. McLaughlin; Hessam S. Sarjoughian (WSC, 2020)