Documentation of discrete event simulation models for manufacturing system life cycle simulation | IEEE Conference Publication | IEEE Xplore