TY - JOUR AU - Mohammadreza Mehrabian AU - Mohammad Khayatian AU - Aviral Shrivastava AU - John Eidson AU - Patricia Derler AU - Hugo Andrade AU - Ya-Shian Li-Baboud AU - Edward Griffor AU - Marc Weiss AU - Kevin Stanton C2 - ACM Transactions on Embedded Computing Systems DA - 2017-09-27 00:09:00 DO - https://doi.org/10.1145/3126510 LA - en M1 - 16 PB - ACM Transactions on Embedded Computing Systems PY - 2017 TI - Timestamp Temporal Logic (TTL) for Time Testing of Cyber-Physical Systems ER -