{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:19:17Z","timestamp":1750306757854,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,10,1]],"date-time":"2012-10-01T00:00:00Z","timestamp":1349049600000},"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":[[2012,10]]},"DOI":"10.1145\/2508443.2508453","type":"proceedings-article","created":{"date-parts":[[2013,7,30]],"date-time":"2013-07-30T13:40:50Z","timestamp":1375191650000},"page":"55-60","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Model-based specification, analysis and synthesis of servo controllers for lithoscanners"],"prefix":"10.1145","author":[{"given":"Ramon R. H.","family":"Schiffelers","sequence":"first","affiliation":[{"name":"ASML, DR Veldhoven, The Netherlands"}]},{"given":"Wilbert","family":"Alberts","sequence":"additional","affiliation":[{"name":"ASML, DR Veldhoven, The Netherlands"}]},{"given":"Jeroen P. M.","family":"Voeten","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, MB Eindhoven, The Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2012,10]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Merks","author":"Steinberg D.","year":"2009","unstructured":"Steinberg , D. , Budinsky , F. , Paternostro , M. , Merks , E. : Eclipse Modeling Framework. Addison-Wesley ( 2009 ) Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: Eclipse Modeling Framework. Addison-Wesley (2009)"},{"key":"e_1_3_2_1_2_1","volume-title":"Object Constraint Language, version 2.0","author":"Object Management Group","year":"2006","unstructured":"Object Management Group : Object Constraint Language, version 2.0 ; MOF Model to Text Transformation, Version 1.0; Query\/View\/Transformation (QVT) , version 1.0. http:\/\/www.omg.org\/ ( 2006 -2012) Object Management Group: Object Constraint Language, version 2.0; MOF Model to Text Transformation, Version 1.0; Query\/View\/Transformation (QVT), version 1.0. http:\/\/www.omg.org\/ (2006-2012)"},{"key":"e_1_3_2_1_4_1","unstructured":"Eclipse: QVT Operational. http:\/\/www.eclipse.org\/m2m\/ (2012)  Eclipse: QVT Operational. http:\/\/www.eclipse.org\/m2m\/ (2012)"},{"key":"e_1_3_2_1_5_1","unstructured":"Obeo: Acceleo version 3.0. http:\/\/www.eclipse.org\/acceleo\/ (2012)  Obeo: Acceleo version 3.0. http:\/\/www.eclipse.org\/acceleo\/ (2012)"},{"key":"e_1_3_2_1_6_1","volume-title":": Eclipse Modeling Project: A Domain-Specific Language (DSL) Toolkit","author":"Gronback R. C.","year":"2009","unstructured":"Gronback , R. C. : Eclipse Modeling Project: A Domain-Specific Language (DSL) Toolkit . Addison-Wesley ( 2009 ) Gronback, R. C.: Eclipse Modeling Project: A Domain-Specific Language (DSL) Toolkit. Addison-Wesley (2009)"},{"key":"e_1_3_2_1_7_1","volume-title":"v. d","author":"Putten P. H. A.","year":"1997","unstructured":"Putten , P. H. A. v. d ., Voeten, J. P. M. : Specification of reactive hardware\/software systems - The method software\/hardware engineering. PhD thesis, Eindhoven University of Technology ( 1997 ) Putten, P. H. A. v. d., Voeten, J. P. M.: Specification of reactive hardware\/software systems - The method software\/hardware engineering. PhD thesis, Eindhoven University of Technology (1997)"},{"key":"e_1_3_2_1_8_1","unstructured":"Systems Engineering Group TU\/e: CIF toolset. http:\/\/se.wtb.tue.nl\/sewiki\/cif (2012)  Systems Engineering Group TU\/e: CIF toolset. http:\/\/se.wtb.tue.nl\/sewiki\/cif (2012)"},{"volume-title":"C.: A Transformation Framework for the Compositional Interchange Format for Hybrid Systems. In: Proc. 18th IFAC World Congress. (2011)","author":"Hendriks D.","key":"e_1_3_2_1_9_1","unstructured":"Hendriks , D. , Schiffelers , R. , H\u00fcfner , M. , Sonntag , C.: A Transformation Framework for the Compositional Interchange Format for Hybrid Systems. In: Proc. 18th IFAC World Congress. (2011) Hendriks, D., Schiffelers, R., H\u00fcfner, M., Sonntag, C.: A Transformation Framework for the Compositional Interchange Format for Hybrid Systems. In: Proc. 18th IFAC World Congress. (2011)"},{"key":"e_1_3_2_1_10_1","volume-title":"D. G.: Synchronous Data Flow. In: Proc. of the IEEE","volume":"75","author":"Lee E. A.","year":"1987","unstructured":"Lee , E. A. , Messerschmitt , D. G.: Synchronous Data Flow. In: Proc. of the IEEE , vol. 75 . ( 1987 ) No.9 1235--1245 Lee, E. A., Messerschmitt, D. G.: Synchronous Data Flow. In: Proc. of the IEEE, vol. 75. (1987) No.9 1235--1245"},{"key":"e_1_3_2_1_12_1","unstructured":"The MathWorks Inc.: Using Simulink version 6. http:\/\/www.mathworks.com (2005)  The MathWorks Inc.: Using Simulink version 6. http:\/\/www.mathworks.com (2005)"},{"volume-title":"Proc. 6th Int. Conference on Real-Time Computing Systems and Applications. (1999)","author":"Eker J.","key":"e_1_3_2_1_13_1","unstructured":"Eker , J. , Cervin , A. : A Matlab toolbox for real-time and control systems co-design . In: Proc. 6th Int. Conference on Real-Time Computing Systems and Applications. (1999) 320--327 Eker, J., Cervin, A.: A Matlab toolbox for real-time and control systems co-design. In: Proc. 6th Int. Conference on Real-Time Computing Systems and Applications. (1999) 320--327"},{"key":"e_1_3_2_1_14_1","volume-title":"Sztipanovits","author":"Hemingway G.","year":"2010","unstructured":"Hemingway , G. , Porter , J. , Kottenstette , N. , vanBuskirk , C. , Karsai , G. , Sztipanovits , J. : Automated synthesis of time-triggered architecture-based truetime models for platform effects simulation and analysis. In : Rapid System Prototyping, IEEE ( 2010 ) 1--7 Hemingway, G., Porter, J., Kottenstette, N., vanBuskirk, C., Karsai, G., Sztipanovits, J.: Automated synthesis of time-triggered architecture-based truetime models for platform effects simulation and analysis. In: Rapid System Prototyping, IEEE (2010) 1--7"},{"key":"e_1_3_2_1_15_1","author":"Plotkin G. D.","year":"2004","unstructured":"Plotkin , G. D. : A structural approach to operational semantics. J. of Logic and Alg. Progr. 60--61 ( 2004 ) Plotkin, G. D.: A structural approach to operational semantics. J. of Logic and Alg. Progr. 60--61 (2004)","journal-title":"J. of Logic and Alg. Progr. 60--61 ("}],"event":{"name":"MODELS '12: ACM\/IEEE 15th International Conference on Model Driven Engineering Languages and Systems","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Innsbruck Austria","acronym":"MODELS '12"},"container-title":["Proceedings of the 6th International Workshop on Multi-Paradigm Modeling"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2508443.2508453","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2508443.2508453","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:28:39Z","timestamp":1750231719000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2508443.2508453"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10]]},"references-count":13,"alternative-id":["10.1145\/2508443.2508453","10.1145\/2508443"],"URL":"https:\/\/doi.org\/10.1145\/2508443.2508453","relation":{},"subject":[],"published":{"date-parts":[[2012,10]]},"assertion":[{"value":"2012-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}