Paolo Ballarini, András Horváth. Formal analysis of production line systems by probabilistic model checking tools. In 26th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2021, Vasteras, Sweden, September 7-10, 2021. pages 1-8, IEEE, 2021. [doi]
Abstract is missing.