Experience in deploying MBT for industrial automation
B. Kumar, A. Toensfeuerborn, O. Niggemann, W. Schäfer, J. Jasperneite, in: 2012.