In this talk I will present some initial ideas (a first proposal) on how to define a framework to define missions for autonomous systems which are composed of different “controllers” that need to be active in different contexts. The idea is to try to be as formal as possible, to provide some kind of (semi-)formal reasoning, while being practical.