{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:43:35Z","timestamp":1725533015346},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642024801"},{"type":"electronic","value":"9783642024818"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02481-8_29","type":"book-chapter","created":{"date-parts":[[2009,6,6]],"date-time":"2009-06-06T01:18:06Z","timestamp":1244251086000},"page":"211-218","source":"Crossref","is-referenced-by-count":0,"title":["Towards Compositional Verification in MEDISTAM-RT Methodological Framework"],"prefix":"10.1007","author":[{"given":"Kawtar","family":"Benghazi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miguel J.","family":"Hornos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Noguera","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"29_CR1","unstructured":"Benghazi, K.: MEDISTAM\u2013RT: Metodolog\u00eda de dise\u00f1o y an\u00e1lisis de sistemas de tiempo real. PhD Thesis, University of Granada, Spain (2009)"},{"issue":"1","key":"29_CR2","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/j.scico.2006.08.005","volume":"65","author":"K. Benghazi","year":"2007","unstructured":"Benghazi, K., Capel, M.I., Holgado, J.A., Mendoza, L.E.: A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models. Science of Computer Programming\u00a065(1), 41\u201356 (2007)","journal-title":"Science of Computer Programming"},{"key":"29_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/3-540-44577-3_12","volume-title":"Informatics","author":"E.M. Clarke","year":"2001","unstructured":"Clarke, E.M., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Progress on the State Explosion Problem in Model Checking. In: Wilhelm, R. (ed.) Informatics: 10 Years Back, 10 Years Ahead. LNCS, vol.\u00a02000, p. 176. Springer, Heidelberg (2001)"},{"key":"29_CR4","volume-title":"Concurrency verification: Introduction to Compositional and Noncompositional Methods","author":"W.-P. Roever de","year":"2001","unstructured":"de Roever, W.-P., de Boer, F., Hanneman, U., Hooman, J., Lakhnech, Y., Poel, M., Zwiers, J.: Concurrency verification: Introduction to Compositional and Noncompositional Methods. Cambridge University Press, New York (2001)"},{"issue":"10","key":"29_CR5","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/194313.194399","volume":"37","author":"M.D. Fraser","year":"1994","unstructured":"Fraser, M.D., Kumar, K., Vaishnavi, V.K.: Strategies for incorporating formal specifications in software development, Commun. ACM\u00a037(10), 74\u201386 (1994)","journal-title":"ACM"},{"key":"29_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-540-71322-7_10","volume-title":"Program Analysis and Compilation, Theory and Practice","author":"G. G\u00f6ssler","year":"2007","unstructured":"G\u00f6ssler, G., Graf, S., Majster-Cederbaum, M., Martens, M., Sifakis, J.: Ensuring Properties of Interaction Systems. In: Reps, T., Sagiv, M., Bauer, J. (eds.) Wilhelm Festschrift. LNCS, vol.\u00a04444, pp. 201\u2013224. Springer, Heidelberg (2007)"},{"issue":"7","key":"29_CR7","doi-asserted-by":"publisher","first-page":"840","DOI":"10.1016\/j.ic.2008.03.003","volume":"206","author":"D. Gurov","year":"2008","unstructured":"Gurov, D., Huisman, M., Sprenger, C.: Compositional Verification of Sequential Programs with Procedures. Inf. Comput.\u00a0206(7), 840\u2013868 (2008)","journal-title":"Inf. Comput."},{"key":"29_CR8","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.entcs.2004.02.019","volume":"101","author":"V. Mencl","year":"2004","unstructured":"Mencl, V.: Specifying Component Behavior with Port State Machines. Electr. Notes Theor. Comput. Sci.\u00a0101, 129\u2013153 (2004)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"3","key":"29_CR9","doi-asserted-by":"publisher","first-page":"843","DOI":"10.1145\/177492.177725","volume":"16","author":"G. Orna","year":"1994","unstructured":"Orna, G., David, E.L.: Model Checking and Modular Verification. ACM Transactions on Programming Languages and Systems\u00a016(3), 843\u2013871 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"29_CR10","doi-asserted-by":"crossref","unstructured":"Selic, B., Rumbaugh, J.: Using UML for Modeling Complex Real-Time Systems, ObjecTime Limited\/Rational Software whitepaper (1998)","DOI":"10.1007\/BFb0057795"},{"key":"29_CR11","unstructured":"Yilmaz, L.: Specifying and verifying collaborative behavior in component-based systems, PhD Thesis, Virginia Polytechnic Institute and State Univ., USA (2002)"},{"key":"29_CR12","unstructured":"Zic, J.: CSP+T: a Formalism for Describing Real-Time Systems. PhD Thesis, University of Sydney, Australia (1991)"},{"key":"29_CR13","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1109\/SEFM.2005.3","volume-title":"Third IEEE International Conference on Software Engineering and Formal Methods","author":"J. Sifakis","year":"2005","unstructured":"Sifakis, J.: A Framework for Component-based Construction Extended Abstract. In: Third IEEE International Conference on Software Engineering and Formal Methods, pp. 293\u2013300. IEEE Computer Society, Washington (2005)"},{"key":"29_CR14","doi-asserted-by":"crossref","unstructured":"Ramesh, S., Ganesan, P.V.V., Raravi, G.: A Formal Framework for the Correct-by-construction and Verification of Distributed Time Triggered Systems. In: International Symposium on Industrial Embedded Systems, pp. 63\u201370 (2007)","DOI":"10.1109\/SIES.2007.4297318"}],"container-title":["Lecture Notes in Computer Science","Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02481-8_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T18:27:30Z","timestamp":1558376850000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02481-8_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642024801","9783642024818"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02481-8_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}