{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:48:28Z","timestamp":1725749308946},"publisher-location":"Berlin, Heidelberg","reference-count":14,"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_2","type":"book-chapter","created":{"date-parts":[[2013,9,18]],"date-time":"2013-09-18T09:10:29Z","timestamp":1379495429000},"page":"16-30","source":"Crossref","is-referenced-by-count":2,"title":["A Transformation Approach for Multiform Time Requirements"],"prefix":"10.1007","author":[{"given":"Nadia","family":"Menad","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe","family":"Dhaussy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Andr\u00e9, C.: Syntax and semantics of the clock constraint specification language ccsl. Technical Report 6925, INRIA (2009)","key":"2_CR1"},{"unstructured":"Andr\u00e9, C.: Verification of clock constraints: Ccsl observers in esterel. Technical Report 7211, INRIA (2010)","key":"2_CR2"},{"issue":"2","key":"2_CR3","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst.\u00a08(2), 244\u2013263 (1986)","journal-title":"ACM Trans. Program. Lang. Syst."},{"doi-asserted-by":"crossref","unstructured":"Dhaussy, P., Boniol, F., Roger, J.-C., Leroux, L.: Improving model checking with context modelling. In: Advances in Software Engineering, ID 547157, 13 pages (2012)","key":"2_CR4","DOI":"10.1155\/2012\/547157"},{"unstructured":"DeAntoni, J., Mallet, F., Andr\u00e9, C.: Timesquare: on the formal execution of uml and dsl models. In: Tool Session of the 4th Model Driven Development for Distributed Real Time Systems (2008)","key":"2_CR5"},{"unstructured":"Farail, P., Gaufillet, P., Peres, F., Bodeveix, J.-P., Filali, M., Berthomieu, B., Rodrigo, S., Vernadat, F., Garavel, H., Lang, F.: FIACRE: an intermediate language for model verification in the TOPCASED environment. In: European Congress on Embedded Real-Time Software (ERTS), Toulouse. SEE (January 2008)","key":"2_CR6"},{"doi-asserted-by":"crossref","unstructured":"Halbwachs, N., Lagnier, F., Raymond, P.: Synchronous observers and the verification of reactive systems. In: Nivat, M., Rattray, C., Rus, T., Scollo, G. (eds.) Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST 1993, Twente. Workshops in Computing, pp. 83\u201396. Springer Verlag (June 1993)","key":"2_CR7","DOI":"10.1007\/978-1-4471-3227-1_8"},{"unstructured":"IEEE. IEEE standard for property specification language (psl). Technical Report 1850 (2005)","key":"2_CR8"},{"doi-asserted-by":"crossref","unstructured":"Mallet, F.: Automatic Generation of Observers from MARTE\/CCSL. In: RSP 2012 - International Symposium on Rapid System Prototyping, Tampere, Finlande, pp. 86\u201392. IEEE (October 2012)","key":"2_CR9","DOI":"10.1109\/RSP.2012.6380695"},{"key":"2_CR10","first-page":"309","volume":"4","author":"F. Mallet","year":"2008","unstructured":"Mallet, F., Andr\u00e9, C., De Simone, R.: Ccsl: Specifying clock constraints with uml\/marte. ISSE\u00a04, 309\u2013314 (2008)","journal-title":"ISSE"},{"unstructured":"OMG. Uml profile for marte, v1.1. Object Managment Group, Document number: PTC\/10-08-32 (August 2010)","key":"2_CR11"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/3-540-11494-7_22","volume-title":"International Symposium on Programming","author":"J.-P. Queille","year":"1982","unstructured":"Queille, J.-P., Sifakis, J.: Specification and verification of concurrent systems in CESAR. In: Dezani-Ciancaglini, M., Montanari, U. (eds.) Programming 1982. LNCS, vol.\u00a0137, pp. 337\u2013351. Springer, Heidelberg (1982)"},{"unstructured":"Yin, L., Mallet, F.: Correct transformation from ccsl to promela for verification. Technical Report 7491, INRIA (2011)","key":"2_CR13"},{"doi-asserted-by":"crossref","unstructured":"Yu, H., Talpin, J.-P., Besnard, L., Gautier, T., Marchand, H., Le Guernic, P.: Polychronous controller synthesis from marte ccsl timing specifications. In: Memocode (2011)","key":"2_CR14","DOI":"10.1109\/MEMCOD.2011.5970507"}],"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_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T07:46:20Z","timestamp":1558079180000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40561-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642405600","9783642405617"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40561-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}