{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T20:10:18Z","timestamp":1708200618937},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"5-6","license":[{"start":{"date-parts":[[2007,9,8]],"date-time":"2007-09-08T00:00:00Z","timestamp":1189209600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transf"],"published-print":{"date-parts":[[2007,10,6]]},"DOI":"10.1007\/s10009-007-0046-x","type":"journal-article","created":{"date-parts":[[2007,9,7]],"date-time":"2007-09-07T10:56:55Z","timestamp":1189162615000},"page":"471-487","source":"Crossref","is-referenced-by-count":7,"title":["Modeling software product lines using color-blind transition systems"],"prefix":"10.1007","volume":"9","author":[{"given":"Kim G.","family":"Larsen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ulrik","family":"Nyman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrzej","family":"Wasowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,9,8]]},"reference":[{"key":"46_CR1","volume-title":"Modern Compiler Implementation in C","author":"A.A. Appel","year":"1998","unstructured":"Appel A.A. (1998). Modern Compiler Implementation in C. Cambridge University Press, Cambridge"},{"key":"46_CR2","doi-asserted-by":"crossref","first-page":"425","DOI":"10.7551\/mitpress\/5641.003.0021","volume-title":"Proof, Language and Interaction. Essays in Honour of Robin Milner","author":"G. Berry","year":"2000","unstructured":"Berry G. (2000). The foundations of Esterel. In: Plotkin, G., Stirling, C. and Tofte, M. (eds) Proof, Language and Interaction. Essays in Honour of Robin Milner, pp 425\u2013454. MIT Press, Cambridge"},{"issue":"8","key":"46_CR3","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"R.E. Bryant","year":"1986","unstructured":"Bryant R.E. (1986). Graph-based algorithms for boolean function manipulation. IEEE Trans. Comput. 35(8): 677\u2013691","journal-title":"IEEE Trans. Comput."},{"key":"46_CR4","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke E.M. (1999). Model Checking. MIT Press, Cambridge"},{"key":"46_CR5","volume-title":"Software Product Lines: Practices and Patterns","author":"P. Clements","year":"2001","unstructured":"Clements P. and Northrop L. (2001). Software Product Lines: Practices and Patterns. Addison-Wesley, Reading"},{"key":"46_CR6","volume-title":"Introduction to Algorithms","author":"T.H. Cormen","year":"2001","unstructured":"Cormen T.H., Leiserson C.E., Rivest R.L. and Stein C. (2001). Introduction to Algorithms, 2nd edn. MIT Press, Cambridge","edition":"2"},{"key":"46_CR7","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Antkiewicz, M.: Mapping features to models: a template approach based on superimposed variants. In: Gl\u00fcck, R., Lowry, M. (eds.) Generative Programming and Component Engineering (GPCE), vol. 3676 of LNCS, pp. 422\u2013437. Springer, Heidelberg (2005)","DOI":"10.1007\/11561347_28"},{"key":"46_CR8","doi-asserted-by":"crossref","unstructured":"Danvy, O., Gl\u00fcck, R., Thiemann, P. (eds.): Partial Evaluation, vol. 1110 of LNCS, Dagstuhl Castle, Germany. Springer, Heidelberg (1996)","DOI":"10.1007\/3-540-61580-6"},{"key":"46_CR9","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: Symposium on Foundations of Software Engineering (FSE), pp. 109\u2013120. ACM Press, New York (2001)","DOI":"10.1145\/503209.503226"},{"key":"46_CR10","doi-asserted-by":"crossref","unstructured":"Etalle, S., Gabbrieli, M.: Partial evaluation of concurrent constraint languages. ACM Comput. Surv. 30(3es) (1998)","DOI":"10.1145\/289121.289132"},{"key":"46_CR11","volume-title":"Design Software Product Lines with UML","author":"H. Gomaa","year":"2001","unstructured":"Gomaa H. (2001). Design Software Product Lines with UML. Addison-Wesley, Reading"},{"key":"46_CR12","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel D. (1987). Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8: 231\u2013274","journal-title":"Sci. Comput. Program."},{"key":"46_CR13","doi-asserted-by":"crossref","unstructured":"Hatcliff, J., Mogensen, T.E., Thiemann, P. (eds.): Partial Evaluation: Practice and Theory. International Summer School, vol. 1706 of LNCS. Springer, Heidelberg (1999)","DOI":"10.1007\/3-540-47018-2"},{"key":"46_CR14","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare C.A.R. (1985). Communicating Sequential Processes. Prentice Hall, Englewood Cliffs"},{"key":"46_CR15","doi-asserted-by":"crossref","unstructured":"Hosoya, H., Kobayashi, N., Yonezawa, A.: Partial evaluation scheme for concurrent languages and its correctness. In: Boug\u00e9, L., Fraigniaud, P., Mignotte, A., Robert, Y. (eds.) Euro-Par\u201996, vol. 1123 of LNCS, pp. 625\u2013632. Springer, Heidelberg 1996","DOI":"10.1007\/3-540-61626-8_83"},{"key":"46_CR16","unstructured":"IAR visualSTATE\u00ae. http:\/\/www.iar.com\/Products\/VS"},{"key":"46_CR17","doi-asserted-by":"crossref","unstructured":"Igarashi, A., Kobayashi, N.: A generic type system for the pi-calculus. In: POPL 2001. ACM Press, New York (2001)","DOI":"10.1145\/360204.360215"},{"key":"46_CR18","unstructured":"Ilog CPLEX. http:\/\/www.ilog.com\/products\/cplex"},{"key":"46_CR19","volume-title":"Partial Evaluation and Automatic Program Generation","author":"N.D. Jones","year":"1993","unstructured":"Jones N.D., Gomard C.K. and Sestoft P. (1993). Partial Evaluation and Automatic Program Generation. Prentice Hall, Englewood Cliffs"},{"issue":"1","key":"46_CR20","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1016\/0890-5401(92)90025-B","volume":"99","author":"K.G. Larsen","year":"1992","unstructured":"Larsen K.G. and Milner R. (1992). A compositional protocol verification using relativized bisimulation. Inf. Comput. 99(1): 80\u2013108","journal-title":"Inf. Comput."},{"key":"46_CR21","unstructured":"Larsen, K.G.: Context Dependent Bisumulation Between Processes. Ph.D. thesis, Edinburgh University (1986)"},{"key":"46_CR22","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1016\/0304-3975(87)90007-7","volume":"49","author":"K.G. Larsen","year":"1987","unstructured":"Larsen K.G. (1987). A context dependent equivalence between processes. Theor. Comput. Sci. 49: 184\u2013215","journal-title":"Theor. Comput. Sci."},{"key":"46_CR23","doi-asserted-by":"crossref","unstructured":"Larsen, K.G., Larsen, U., Wasowski, A.: Color-blind specifications for transformations of reactive synchronous programs. In: Cerioli, M. (ed.) Fundamental Approaches to Software Engineering (FASE), vol. 3442 of LNCS. Springer, Heidelberg (2005)","DOI":"10.1007\/978-3-540-31984-9_13"},{"issue":"1","key":"46_CR24","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1023\/A:1008736219484","volume":"18","author":"J. Lind-Nielsen","year":"2001","unstructured":"Lind-Nielsen J., Andersen H.R., Hulgaard H., Behrmann G., Kristoffersen K. and Larsen K.G. (2001). Verification of large state\/event systems using compositionality and dependency analysis. Formal Methods Syst. Des. 18(1): 15\u201323","journal-title":"Formal Methods Syst. Des."},{"key":"46_CR25","doi-asserted-by":"crossref","DOI":"10.21236\/ADA196047","volume-title":"I\/O automata: a model for discrete event systems. Annual Conference on Information Sciences and Systems, pp. 29\u201338","author":"N. Lynch","year":"1988","unstructured":"Lynch N. (1988). I\/O automata: a model for discrete event systems. Annual Conference on Information Sciences and Systems, pp. 29\u201338. Princeton University, Princeton"},{"key":"46_CR26","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner R. (1989). Communication and Concurrency. Prentice Hall, Englewood Cliffs"},{"key":"46_CR27","volume-title":"Advanced Compiler Design and Implementation","author":"S.S. Muchnick","year":"1997","unstructured":"Muchnick S.S. (1997). Advanced Compiler Design and Implementation. Morgan Kaufmann Publishers, San Francisco"},{"key":"46_CR28","unstructured":"Murakami, M.: Partial evaluation of reactive communciating processes using temporal logic formulas. In: Workshop on Algebraic and Object-Oriented Approaches to Software Science (1995)"},{"key":"46_CR29","unstructured":"Object Management Group: OMG Unified Modelling Language specification (1999). http:\/\/www.omg.org"},{"key":"46_CR30","doi-asserted-by":"crossref","unstructured":"Rajamani, S.K., Rehof, J.: Conformance checking for models of asynchronous message passing software. In Brinksma, E., Larsen, K.G. (eds.) Conference on Computer Aided Verification (CAV), vol. 2404 of LNCS, pp. 166\u2013179. Springer, Heidelberg (2002)","DOI":"10.1007\/3-540-45657-0_13"},{"key":"46_CR31","unstructured":"Scope. http:\/\/www.itu.dk\/~wasowski\/scope"},{"key":"46_CR32","unstructured":"Sun Microsystems. Java card(TM) specification. http:\/\/java.sun.com\/products\/javacard\/specs.html"},{"key":"46_CR33","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A. Tarski","year":"1955","unstructured":"Tarski A. (1955). A lattice-theoretical fixpoint theorem and its applications. Pac. J. Math. 5: 285\u2013309","journal-title":"Pac. J. Math."},{"issue":"3","key":"46_CR34","first-page":"103","volume":"17","author":"J. Tretmans","year":"1996","unstructured":"Tretmans J. (1996). Test generation with inputs, outputs and repetitive quiescence. Softw. Concepts Tools 17(3): 103\u2013120","journal-title":"Softw. Concepts Tools"},{"key":"46_CR35","doi-asserted-by":"crossref","unstructured":"van Glabbeek, R.: The linear time-branching time spectrum (extended abstract). In: J.C.M. Beaten, J.W. Klop (eds.) Theories of Concurrency: Unification and Extension (CONCUR), vol. 458 of LNCS, pp. 278\u2013297. Springer, Heidelberg (1990)","DOI":"10.1007\/BFb0039066"},{"key":"46_CR36","doi-asserted-by":"crossref","unstructured":"Wasowski, A.: Automatic generation of program families by model restrictions. In: Software Product Line Conference (SPLC), vol. 3154 of LNCS. Springer, Heidelberg (2004)","DOI":"10.1007\/978-3-540-28630-1_5"},{"key":"46_CR37","unstructured":"Wasowski, A.: Code Generation and Model Driven Development for Constrained Embedded Software. Ph.D. thesis, IT University of Copenhagen, January 2005"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-007-0046-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-007-0046-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-007-0046-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T19:50:16Z","timestamp":1708199416000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-007-0046-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9,8]]},"references-count":37,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2007,10,6]]}},"alternative-id":["46"],"URL":"https:\/\/doi.org\/10.1007\/s10009-007-0046-x","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,9,8]]}}}