Distributed Policy Enforcement Framework for System Transactions. - Konstantinos Tsiounis; Kostas Kontogiannis; Dimitris Lyras; John Mylopoulos (SysCon, 2025)