High-Fidelity Specification of Real-World Devices.

Liam Murphy, Albert Rizaldi, Lesley Rossouw, Chen George, James Treloar, Hammond Pearce, Miki Tanaka, Gernot Heiser

Browse the full PLOS paper archive.