An integrated framework for automated simulation of SysML models using DEVS. (June 2014)