GSPN modelling methods for performance and dependability evaluation of a real-life flexible manufacturing system | IEEE Conference Publication | IEEE Xplore