@inproceedings{Knapp08, <br>AUTHOR = {Knapp, Steffen},<br>TITLE = {Pervasive Layered Verification of a Distributed Real-Time System},<br>YEAR = {2008},<br>PAGES = {323--328}, <br>BOOKTITLE = {Third International Conference on Systems (ICONS'08)}, <br>EE = {http://doi.ieeecomputersociety.org/10.1109/ICONS.2008.10},<br>}