A Runtime Model for SysML