Antti Pakonen, Cheng Pang, Igor Buzhinsky, Valeriy Vyatkin. User-friendly formal specification languages - conclusions drawn from industrial experience on model checking. In 21st IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2016, Berlin, Germany, September 6-9, 2016. pages 1-8, IEEE, 2016. [doi]
Abstract is missing.