A logic of actions and its application to the development of programmable controllersCarlo SimonÉpuisé4,3Prévenez-moi
