High-Fidelity Specification of Real-World Devices