A case study on timed supervisory control on a linear cluster tool using aggregated timed synthesis | IEEE Conference Publication | IEEE Xplore