@inproceedings{KP07,
AUTHOR = {Knapp, S. and Paul, W. J.},
TITLE = {Pervasive Verification of Distributed Real Time Systems},
YEAR = {2007},
URL = {http:///publikationen/KP07.pdf},
SERIES = {NATO Security Through Science Series. Sub-Series: Information and Communication Vol.9},
BOOKTITLE = {Software System Reliability and Security},
PUBLISHER = {IOS Press},
EDITOR = {M. Broy, J. Gr├╝nbauer, T. Hoare},
EE = {http://www.iospress.nl/loadtop/load.php?isbn=9781586037314},
}