@inproceedings{Elphinstone_HHPR_05, month = nov, booktitle = {3rd Embedded Security in Cars Conference (escar)}, author = {Kevin Elphinstone and Gernot Heiser and Ralf Huuck and Stefan M. Petters and Sergio Ruocco}, title = {L4Cars}, address = {Cologne, Germany}, paperurl = {https://trustworthy.systems/publications/papers/Elphinstone_HHPR_05.pdf}, year = {2005} }