EFFICIENT AND SCALABLE RUNTIME MONITORING FOR CYBER-PHYSICAL SYSTEM