McColl, M., McColl, C., Pereira, A., & Hexel, R. (2025). Efficient Runtime Verification of Energy Properties within Hardware / Software Co-Design [Conference paper]. 1–8