Integration of Time Petri Nets and TE-LOTOS in the Design and Evaluation of Factory Communication Systems