A modeling and simulation method of queue systems based on stateflow | IEEE Conference Publication | IEEE Xplore