A Functional Reactive Programming Framework for Autonomous Vehicles - Choi Wang Dzak (2023)