Mykhaylo Nykolaychuk, Michael Lipaczewski, Tino Liebusch, Frank Ortmeier. On Efficiently Specifying Models for Model Checking. In Frank Ortmeier, Antoine Rauzy, editors, Model-Based Safety and Assessment - 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings. Volume 8822 of Lecture Notes in Computer Science, pages 14-27, Springer, 2014. [doi]
Abstract is missing.