Automated Analysis of Scenario-based Specifications of Distributed Access Control Policies with Non-Mechanizable Activities