@conference{790571, author = {Aviral Shrivastava and Mohammad Khayatian and Mohammadreza Mehrabian and Hugo Andrade and Patricia Derler and Ya-Shian Li-Baboud and Edward Griffor and Marc Weiss and John Eidson and Kevin Stanton}, title = {A Testbed to Verify Timing Behavior of Cyber-Physical Systems}, year = {2017}, month = {2017-06-18 00:06:00}, publisher = {Proceedings of Design Automation Conference, Austin, TX, US}, url = {https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=923125}, doi = {https://doi.org/10.1145/3061639.3072955}, language = {en}, }