{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:46:09Z","timestamp":1725515169829},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540709299"},{"type":"electronic","value":"9783540709305"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70930-5_2","type":"book-chapter","created":{"date-parts":[[2008,7,16]],"date-time":"2008-07-16T15:58:24Z","timestamp":1216223904000},"page":"15-33","source":"Crossref","is-referenced-by-count":0,"title":["Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control"],"prefix":"10.1007","author":[{"given":"Sandeep","family":"Neema","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sushil","family":"Birla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shige","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tripti","family":"Saxena","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Birla, S.: Challenge problems for model-based integration of embedded systems (MoBIES. DTIC AFRL-IF-WP-TR-2004-1523 (2004)"},{"key":"2_CR2","unstructured":"Torngren, M., Larses, O.: Characterization of model based development of embedded control systems from a mechatronic perspective: drivers, processes, technology and their maturity. Technical Report TRITA-MMK 2004:23, Mechatronics Lab, Department of Machine Design, Royal Institute of Technoglogy, KTH, Stockholm, Sweden (2004)"},{"issue":"5","key":"2_CR3","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/MS.2003.1231145","volume":"20","author":"S.J. Mellor","year":"2003","unstructured":"Mellor, S.J., Clark, A.N., Futagami, T.: Model-driven development. IEEE Software\u00a020(5), 14\u201318 (2003)","journal-title":"IEEE Software"},{"key":"2_CR4","unstructured":"Price, D.: Ap233 state machine support (2005), \n                    \n                      http:\/\/www.ap233.org\/ModuleSets\/Behavior\/AP233_State_Machine_2005-09-15_update.zip\/view"},{"key":"2_CR5","unstructured":"Object Management Group: Uml for systems engineering, request for proposal (2003), \n                    \n                      http:\/\/www.sysml.org\/artifacts\/refs\/UML-for-SE-RFP.pdf"},{"key":"2_CR6","unstructured":"Object Management Group: Unified modeling language: Superstructure, version 2.0 (2005), \n                    \n                      http:\/\/www.omg.org\/docs\/formal\/05-07-04.pdf"},{"key":"2_CR7","unstructured":"International Society for Automotive Engineers (SAE) AADL Team: Architecture analysis & design language (AADL) standard (2004), \n                    \n                      http:\/\/www.aadl.info"},{"key":"2_CR8","unstructured":"EAST-EEA Partners: East-eea architecture description language, version 1.0.2 (2004), \n                    \n                      http:\/\/www.east-eea.net\/start.asp"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/978-3-540-24721-0_17","volume-title":"Fundamental Approaches to Software Engineering","author":"G. Hamon","year":"2004","unstructured":"Hamon, G., Rushby, J.: An Operational Semantics for Stateflow. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol.\u00a02984, pp. 229\u2013243. Springer, Heidelberg (2004)"},{"key":"2_CR10","unstructured":"Anton, J., da Costa, P., Errington, L.: Formal synthesis of generators for embedded systems. Technical report, Kestrel Technology, Palo Alto, CA (2005)"},{"key":"2_CR11","first-page":"424","volume-title":"Encyclopedia of Software Engineering","author":"G. Arango","year":"1994","unstructured":"Arango, G.: Domain Analysis. In: Marciniak, J. (ed.) Encyclopedia of Software Engineering, vol.\u00a01, pp. 424\u2013434. Wiley, Chichester (1994)"},{"key":"2_CR12","unstructured":"The Software Engineering Institute (SEI): A framework for software product line practice version 4.2 (2005), \n                    \n                      http:\/\/www.sei.cmu.edu\/productlines\/framework.html"},{"key":"2_CR13","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/MISE.2007.1","volume-title":"MISE 2007: Proceedings of the International Workshop on Modeling in Software Engineering","author":"K. Chen","year":"2007","unstructured":"Chen, K., Sztipanovits, J., Neema, S.: A case study on semantic unit composition. In: MISE 2007: Proceedings of the International Workshop on Modeling in Software Engineering, Washington, DC, USA, p. 3. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"2_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-6155-2","volume-title":"Synthesis of Finite State Machines: logic Optimization","author":"T. Villa","year":"1997","unstructured":"Villa, T., Kam, T., Brayton, R.K., Sangiovanni-Vincentelli, A.L.: Synthesis of Finite State Machines: logic Optimization. Kluwer Academic Publishers, Dordrecht (1997)"},{"issue":"6","key":"2_CR15","doi-asserted-by":"publisher","first-page":"742","DOI":"10.1109\/43.766725","volume":"18","author":"A. Girault","year":"1999","unstructured":"Girault, A., Lee, B., Lee, E.A.: Hierarchical finite state machines with multiple concurrency models. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems\u00a018(6), 742\u2013760 (1999)","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"2_CR16","volume-title":"Structure and Interpretation of Signals and Systems","author":"E.A. Lee","year":"2003","unstructured":"Lee, E.A., Varaiya, P.: Structure and Interpretation of Signals and Systems. Addison-Wesley, Reading (2003)"},{"key":"2_CR17","first-page":"487","volume-title":"Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, Lecture Notes in Computer Science","author":"M. Broy","year":"1996","unstructured":"Broy, M.: Algebraic specification of reactive systems. In: Nivat, M., Wirsing, M. (eds.) Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, Lecture Notes in Computer Science, p. 487. Springer, Heidelberg (1996)"},{"key":"2_CR18","unstructured":"Agrawal, A., Karsai, G., Shi, F.: Graph transformations on domain-specific models. Technical Report ISIS-03-403, Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN (2003)"},{"key":"2_CR19","unstructured":"I-Logix Inc.: Rhapsody user guide (2005)"},{"key":"2_CR20","unstructured":"The MathWorks: Stateflow and stateflow coder, user\u2019s guide version 6 (2005), \n                    \n                      http:\/\/www.mathworks.com\/access\/helpdesk\/help\/pdf_doc\/stateflow\/sf_ug.pdf"},{"issue":"11","key":"2_CR21","first-page":"19","volume":"9","author":"G. Karsai","year":"2003","unstructured":"Karsai, G., Agarwal, A., Shi, F., Sprinkle, J.: On the use of graph transformation in the formal specification of model interpreters. Journal of Universal Computer Science\u00a09(11), 19\u201327 (2003)","journal-title":"Journal of Universal Computer Science"},{"key":"2_CR22","unstructured":"Institute for Software Integrated Systems: The generic modeling environment (2005), \n                    \n                      http:\/\/www.isis.vanderbilt.edu\/Projects\/gme"}],"container-title":["Lecture Notes in Computer Science","Model-Driven Development of Reliable Automotive Services"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70930-5_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:32:37Z","timestamp":1620016357000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70930-5_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540709299","9783540709305"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70930-5_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}