The Arena product family: enterprise modeling solutions | IEEE Conference Publication | IEEE Xplore