Tobias Sehnke, Dieter Schwarzmann, Matthias Schultalbers, Rolf Ernst. Temporal properties in automotive control software. In Enrico Bini, Claire Pagetti, editors, Proceedings of the 25th International Conference on Real-Time Networks and Systems, RTNS 2017, Grenoble, France, October 04 - 06, 2017. pages 98-107, ACM, 2017. [doi]
Abstract is missing.