Tag: distributed control system specification