Towards Model-Based Performability Evaluation of Production Systems | IEEE Conference Publication | IEEE Xplore