Which one is right? "We show how formal models of
hardware peripherals improve the state-of-the-art security models."
or
"We show how formal models of
hardware peripherals improve the state of the art security-models."
Or something else?
I'm writing a paper about formal models of computer peripherals where the above term occurs.