Verification and Controller Synthesis for Resource-Constrained Real-Time Systems: Case Study of an Autonomous Truck (Sep 2010) Shuhao Li, Paul Pettersson Proceedings of the 15th IEEE International Conference on Emerging Techonologies and Factory Automation