Consistency Analysis of AUTOSAR Timing Requirements
S. Beringer, H. Wehrheim, in: M. van Sinderen, H.-Georg Fill, L. A. Maciaszek (Eds.), Proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, Lieusaint, Paris, France, July 7-9, 2020, ScitePress, 2020, pp. 15–26.