@article{818691, author = {Mohammadreza Mehrabian and Mohammad Khayatian and Aviral Shrivastava and John Eidson and Patricia Derler and Hugo Andrade and Ya-Shian Li-Baboud and Edward Griffor and Marc Weiss and Kevin Stanton}, title = {Timestamp Temporal Logic (TTL) for Time Testing of Cyber-Physical Systems}, year = {2017}, number = {16}, month = {2017-09-27 00:09:00}, publisher = {ACM Transactions on Embedded Computing Systems}, doi = {https://doi.org/10.1145/3126510}, language = {en}, }