Grischa Liebel, Anthony Anjorin, Eric Knauss, Florian Lorber, Matthias Tichy. Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry. In Luís Ferreira Pires, Slimane Hammoudi, Bran Selic, editors, Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017. pages 427-434, SciTePress, 2017. [doi]
Abstract is missing.