{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:34:15Z","timestamp":1750221255340,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,5,28]],"date-time":"2018-05-28T00:00:00Z","timestamp":1527465600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,5,28]]},"DOI":"10.1145\/3207719.3207728","type":"proceedings-article","created":{"date-parts":[[2018,6,11]],"date-time":"2018-06-11T12:36:20Z","timestamp":1528720580000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Exploiting Specification Modularity to Prune the Optimization-Space of Manufacturing Systems"],"prefix":"10.1145","author":[{"given":"Jo\u00e3o","family":"Bastos","sequence":"first","affiliation":[{"name":"Eindhoven University of Technology, Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sander","family":"Stuijk","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeroen","family":"Voeten","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, Embedded Systems Innovation Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ramon","family":"Schiffelers","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, Eindhoven, The Netherlands, ASML, Veldhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henk","family":"Corporaal","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,5,28]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Geert Jan Olsder, and Jean-Pierre Quadrat","author":"Baccelli Francois","year":"2001","unstructured":"Francois Baccelli , Guy Cohen , Geert Jan Olsder, and Jean-Pierre Quadrat . 2001 . Synchronization and linearity: an algebra for discrete event systems. Francois Baccelli, Guy Cohen, Geert Jan Olsder, and Jean-Pierre Quadrat. 2001. Synchronization and linearity: an algebra for discrete event systems."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"J. Bastos B. van der Sanden O. Donk J. Voeten S. Stuijk R. Schiffelers and H. Corporaal. 2017. Identifying bottlenecks in manufacturing systems using stochastic criticality analysis. In 2017 Forum on Specification and Design Languages (FDL). 1--8.  J. Bastos B. van der Sanden O. Donk J. Voeten S. Stuijk R. Schiffelers and H. Corporaal. 2017. Identifying bottlenecks in manufacturing systems using stochastic criticality analysis. In 2017 Forum on Specification and Design Languages (FDL). 1--8.","DOI":"10.1109\/FDL.2017.8303901"},{"volume-title":"Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness","author":"Brinksma Ed","key":"e_1_3_2_1_3_1","unstructured":"Ed Brinksma . 1990. Constraint-oriented specification in a constructive formal description technique . In Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness , J. W. de Bakker, W. P. de Roever, and G. Rozenberg (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 130--152. Ed Brinksma. 1990. Constraint-oriented specification in a constructive formal description technique. In Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness, J. W. de Bakker, W. P. de Roever, and G. Rozenberg (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 130--152."},{"key":"e_1_3_2_1_4_1","volume-title":"Bertens et al","author":"Esm\u00e9e L.","year":"2009","unstructured":"Esm\u00e9e L. G. Bertens et al . 2009 . Supervisory control synthesis for exception handling in printers. Esm\u00e9e L. G. Bertens et al. 2009. Supervisory control synthesis for exception handling in printers."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-012-0130-6"},{"volume-title":"Reducibility among Combinatorial Problems","author":"Karp Richard M.","key":"e_1_3_2_1_6_1","unstructured":"Richard M. Karp . 1972. Reducibility among Combinatorial Problems . Springer US , Boston, MA , 85--103. Richard M. Karp. 1972. Reducibility among Combinatorial Problems. Springer US, Boston, MA, 85--103."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/0169-7552(92)90122-7"},{"key":"e_1_3_2_1_8_1","volume-title":"Calculi for Synchrony and Asynchrony. Theoretical Computer Science","author":"Milner Robin","year":"1983","unstructured":"Robin Milner . 1983. Calculi for Synchrony and Asynchrony. Theoretical Computer Science ( 1983 ). Robin Milner. 1983. Calculi for Synchrony and Asynchrony. Theoretical Computer Science (1983)."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3126551"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"P. J. Ramadge and W. M. Wonham. 1984. Supervisory control of a class of discrete event processes. In Analysis and Optimization of Systems A. Bensoussan and J. L. Lions (Eds.). Springer Berlin Heidelberg Berlin Heidelberg 475--498.  P. J. Ramadge and W. M. Wonham. 1984. Supervisory control of a class of discrete event processes. In Analysis and Optimization of Systems A. Bensoussan and J. L. Lions (Eds.). Springer Berlin Heidelberg Berlin Heidelberg 475--498.","DOI":"10.1007\/BFb0006306"},{"key":"e_1_3_2_1_11_1","unstructured":"Ofira Shmueli Lior Fink and Nava Pliskin. 2012. Over-Requirement in Software Development: an Empirical Investigation of the 'IKEA Effect.. In ECIS. 85.  Ofira Shmueli Lior Fink and Nava Pliskin. 2012. Over-Requirement in Software Development: an Empirical Investigation of the 'IKEA Effect.. In ECIS. 85."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"R.J. M. Theunissen etal 2014. Application of Supervisory Control Synthesis to a Patient Support Table of a Magnetic Resonance Imaging Scanner. IEEE Transactions on Automation Science and Engineering (2014).  R.J. M. Theunissen et al. 2014. Application of Supervisory Control Synthesis to a Patient Support Table of a Magnetic Resonance Imaging Scanner. IEEE Transactions on Automation Science and Engineering (2014).","DOI":"10.1109\/TASE.2013.2279692"},{"key":"e_1_3_2_1_13_1","volume-title":"Reniers","author":"van Beek Dirk A.","year":"2014","unstructured":"Dirk A. van Beek , Wan Fokkink , D. Hendriks , A. Hofkamp , Jasen Markovski , J. M. van de Mortel-Fronczak , and Michel A . Reniers . 2014 . CIF 3: Model-Based Engineering of Supervisory Controllers. In TACAS. Dirk A. van Beek, Wan Fokkink, D. Hendriks, A. Hofkamp, Jasen Markovski, J. M. van de Mortel-Fronczak, and Michel A. Reniers. 2014. CIF 3: Model-Based Engineering of Supervisory Controllers. In TACAS."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"B. van der Sanden J. Bastos J. Voeten M. Geilen M. Reniers T. Basten J. Jacobs and R. Schiffelers. 2016. Compositional specification of functionality and timing of manufacturing systems. In 2016 Forum on Specification and Design Languages (FDL). 1--8.  B. van der Sanden J. Bastos J. Voeten M. Geilen M. Reniers T. Basten J. Jacobs and R. Schiffelers. 2016. Compositional specification of functionality and timing of manufacturing systems. In 2016 Forum on Specification and Design Languages (FDL). 1--8.","DOI":"10.1109\/FDL.2016.7880372"},{"volume-title":"2015 ACM\/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS). 416--425","author":"van der Sanden B.","key":"e_1_3_2_1_15_1","unstructured":"B. van der Sanden , M. Reniers , M. Geilen , T. Basten , J. Jacobs , J. Voeten , and R. Schiffelers . 2015. Modular model-based supervisory controller design for wafer logistics in lithography machines . In 2015 ACM\/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS). 416--425 . B. van der Sanden, M. Reniers, M. Geilen, T. Basten, J. Jacobs, J. Voeten, and R. Schiffelers. 2015. Modular model-based supervisory controller design for wafer logistics in lithography machines. In 2015 ACM\/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS). 416--425."}],"event":{"name":"SCOPES '18: 21st International Workshop on Software and Compilers for Embedded Systems","sponsor":["EDAA European Design Automation Association","SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Sankt Goar Germany","acronym":"SCOPES '18"},"container-title":["Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3207719.3207728","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3207719.3207728","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:08:05Z","timestamp":1750212485000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3207719.3207728"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,28]]},"references-count":15,"alternative-id":["10.1145\/3207719.3207728","10.1145\/3207719"],"URL":"https:\/\/doi.org\/10.1145\/3207719.3207728","relation":{},"subject":[],"published":{"date-parts":[[2018,5,28]]},"assertion":[{"value":"2018-05-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}