@inproceedings{frehse:hal-01583916, TITLE = {{Monitoring Dynamical Signals While Testing Timed Aspects of a System}}, AUTHOR = {Frehse, Goran and Larsen, Kim G. and Miku{\v c}ionis, Marius and Nielsen, Brian}, URL = {https://inria.hal.science/hal-01583916}, BOOKTITLE = {{23th International Conference on Testing Software and Systems (ICTSS)}}, ADDRESS = {Paris, France}, EDITOR = {Burkhart Wolff and Fatiha Za{\"i}di}, PUBLISHER = {{Springer}}, SERIES = {Testing Software and Systems}, VOLUME = {LNCS-7019}, PAGES = {115-130}, YEAR = {2011}, MONTH = Nov, DOI = {10.1007/978-3-642-24580-0\_9}, PDF = {https://inria.hal.science/hal-01583916/file/978-3-642-24580-0_9_Chapter.pdf}, HAL_ID = {hal-01583916}, HAL_VERSION = {v1}, }