On Design And Analysis Of Cyber-Physical Systems With Strategic Agents