ETL: A new temporal language for the verification of cyber-physical systems | IEEE Conference Publication | IEEE Xplore