Teimuraz Kutsia, Wolfgang Schreiner,
"Verifying the Soundness of Resource Analysis for LogicGuard Monitors (Revised Version)"
, Serie RISC Report Series, Nummer 14-08, RISC, JKU, Hagenberg Linz, 2014
Original Titel:
Verifying the Soundness of Resource Analysis for LogicGuard Monitors (Revised Version)