@inproceedings{FLM+11,
title = {Monitoring Dynamical Signals While Testing Timed Aspects of a System },
author = {Frehse, Goran and Larsen, Kim Guldstrand and Mikucionis, Marius and Nielsen, Brian},
year = {2011},
booktitle = {ICTSS},
pages = {115-130},
team = {TEMPO},
}