System modeling in SYsML and system analysis in Arena | IEEE Conference Publication | IEEE Xplore