Laurence Pierre: Refinement rules for the automatic TLM-to-RTL conversion of temporal assertions. Integr. 76: 190-204 (2021)