Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control
Distribution of the number of citations over years.