A Domain-Specific-Language for Stateful Access Control Policies
A system for the navigation point to point in a nautical context