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