Invited lightning talk at the Arm Global Engineering Conference, Birmingham, UK.