FLAVOR: A Formal Language for a Posteriori Verification of Legal Rules | IEEE Conference Publication | IEEE Xplore