Tag: logic and distributed control systems notes