@inproceedings{fswf-rtjhdc-06,
 author = {Fekete, S\'{a}ndor P. and Schmidt, Christiane and Wegener, Axel and Fischer, Stefan},
 title = {Recognizing Traffic Jams with Hovering Data Clouds},
 booktitle = {ISOLA '06: Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation},
 year = {2006},
 isbn = {978-0-7695-3071-0},
 pages = {198--203},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }