Automation can have a huge impact on the over all performance of the couple operator/system. Function allocation and authority sharing are key elements of the design of automation ; there is thus a critical need for methods and tools to support the design and assessment of these elements while developing autonomous systems. In this position paper, we discuss the benefits of embedding those concepts as first class citizens ina notationand its associated method building on earlier work on operators’ tasks descriptions and system behavior modeling