{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:48:41Z","timestamp":1725749321151},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642405600"},{"type":"electronic","value":"9783642405617"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40561-7_1","type":"book-chapter","created":{"date-parts":[[2013,9,18]],"date-time":"2013-09-18T13:10:29Z","timestamp":1379509829000},"page":"1-15","source":"Crossref","is-referenced-by-count":23,"title":["Verifying MARTE\/CCSL Mode Behaviors Using UPPAAL"],"prefix":"10.1007","author":[{"given":"Jagadish","family":"Suryadevara","sequence":"first","affiliation":[]},{"given":"Cristina","family":"Seceleanu","sequence":"additional","affiliation":[]},{"given":"Fr\u00e9d\u00e9ric","family":"Mallet","sequence":"additional","affiliation":[]},{"given":"Paul","family":"Pettersson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"1_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science\u00a0126(2), 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-40903-8_6","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"T. Amnell","year":"2004","unstructured":"Amnell, T., Fersman, E., Mokrushin, L., Pettersson, P., Yi, W.: TIMES: a Tool for Schedulability Analysis and Code Generation of Real-Time Systems. In: Larsen, K.G., Niebert, P. (eds.) FORMATS 2003. LNCS, vol.\u00a02791, Springer, Heidelberg (2004)"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1007\/978-3-540-75209-7_38","volume-title":"Model Driven Engineering Languages and Systems","author":"C. Andr\u00e9","year":"2007","unstructured":"Andr\u00e9, C., Mallet, F., de Simone, R.: Modeling Time(s). In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MoDELS 2007. LNCS, vol.\u00a04735, pp. 559\u2013573. Springer, Heidelberg (2007)"},{"key":"1_CR4","unstructured":"Andr\u00e9, C.: Syntax and Semantics of the Clock Constraint Specification Language (CCSL). Rapport de recherche RR-6925, INRIA (2009)"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Andr\u00e9, C., Mallet, F., DeAntoni, J.: VHDL observers for clock constraint checking. In: 2010 Int. Symp. on Industrial Embedded Systems (SIES), pp. 98\u2013107 (July 2010)","DOI":"10.1109\/SIES.2010.5551372"},{"key":"1_CR6","unstructured":"Arnold, A.: Finite transition systems - semantics of communicating systems. Int. Series in Computer Science. Prentice Hall (1994)"},{"key":"1_CR7","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. Representation and Mind Series. The MIT Press (2008)"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"Embedded Systems Design: The ARTIST Roadmap for Research and Development","year":"2005","unstructured":"Bouyssounouse, B., Sifakis, J. (eds.): Embedded Systems Design: The ARTIST Roadmap for Research and Development. LNCS, vol.\u00a03436. Springer, Heidelberg (2005)"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-642-30561-0_4","volume-title":"Objects, Models, Components, Patterns","author":"J. DeAntoni","year":"2012","unstructured":"DeAntoni, J., Mallet, F.: TimeSquare: Treat Your Models with Logical Time. In: Furia, C.A., Nanz, S. (eds.) TOOLS 2012. LNCS, vol.\u00a07304, pp. 34\u201341. Springer, Heidelberg (2012)"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Jahanian, F., Mok, A.: Modechart: a specification language for real-time systems. IEEE Transactions on Software Engineering\u00a020(12), 933\u2013947 (December)","DOI":"10.1109\/32.368134"},{"issue":"1-2","key":"1_CR11","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K.G. Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: Uppaal in a Nutshell. Int. Journal on Software Tools for Technology Transfer\u00a01(1-2), 134\u2013152 (1997)","journal-title":"Int. Journal on Software Tools for Technology Transfer"},{"key":"1_CR12","volume-title":"Int. Symp. on Rapid System Prototyping - RSP 2012","author":"F. Mallet","year":"2012","unstructured":"Mallet, F.: Automatic Generation of Observers from MARTE\/CCSL. In: Int. Symp. on Rapid System Prototyping - RSP 2012. IEEE, Tampere (2012), \n                    \n                      http:\/\/hal.inria.fr\/hal-00764066"},{"key":"1_CR13","first-page":"301","volume-title":"Int. Symp. on Object\/Component\/Service-Oriented Real-Time Distributed Computing (ISORC 2009)","author":"F. Mallet","year":"2009","unstructured":"Mallet, F., Andr\u00e9, C.: On the semantics of UML\/Marte Clock Constraints. In: Int. Symp. on Object\/Component\/Service-Oriented Real-Time Distributed Computing (ISORC 2009), pp. 301\u2013312. IEEE, Tokyo (2009), \n                    \n                      http:\/\/hal.inria.fr\/inria-00383279"},{"key":"1_CR14","unstructured":"OMG: UML Profile for MARTE, v1.0. Object Management Group (November 2009), formal\/(2009-11-02)"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Wang, Z., Pu, G., Li, J., He, J., Qin, S., Larsen, K.G., Madsen, J., Gu, B.: MDM: A Mode Diagram Modeling Framework. In: Proc. First International Workshop on Formal Techniques for Safety-Critical Systems, pp. 135\u2013149. EPTCS (2012)","DOI":"10.4204\/EPTCS.105.10"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Yin, L., Mallet, F., Liu, J.: Verification of MARTE\/CCSL time requirements in Promela\/SPIN. In: 2011 16th IEEE Int. Conf. on Engineering of Complex Computer Systems (ICECCS), pp. 65\u201374 (April 2011)","DOI":"10.1109\/ICECCS.2011.14"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40561-7_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T11:44:12Z","timestamp":1558093452000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40561-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642405600","9783642405617"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40561-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}