Consistency Analysis of AUTOSAR Timing Requirements - Beringer, Steffen; Wehrheim, Heike (Proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, Lieusaint, Paris, France, July 7-9, 2020)