A Demonstration of Formal Policy Reasoning Using an Extended Version of BaseVISor | IEEE Conference Publication | IEEE Xplore