High-Fidelity Specification of Real-World DevicesL. Murphy, A. Rizaldi, L. Rossouw, C. George, J. Treloar, H. Pearce, M. Tanaka, G. HeiserJan 1, 2025DOI URL