High-level reasoning while low-level actuation in Cyber-Physical Systems: How efficient is it? — Burak Karaduman, Baris Tekin Tezel, Moharram Challenger | Kutubxona