{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T01:05:21Z","timestamp":1773709521767,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540733690","type":"print"},{"value":"9783540733706","type":"electronic"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-73370-6_14","type":"book-chapter","created":{"date-parts":[[2007,8,30]],"date-time":"2007-08-30T00:03:26Z","timestamp":1188432206000},"page":"204-222","source":"Crossref","is-referenced-by-count":53,"title":["A SystemC\/TLM Semantics in Promela and Its Possible Applications"],"prefix":"10.1007","author":[{"given":"Claus","family":"Traulsen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00e9r\u00f4me","family":"Cornet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthieu","family":"Moy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florence","family":"Maraninchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Benveniste, A., le Guernic, P., Jacquemot, C.: Synchronous programming with events and relations: the Signal language and its semantics. Technical Report 459, IRISA, Rennes, France (1989)"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Berry, G.: The foundations of Esterel. In: Plotkin, G., Stirling, C., Tofte, M. (eds.): Proof, Language and Interaction: Essays in Honour of Robin Milner ( 2000)","DOI":"10.7551\/mitpress\/5641.003.0021"},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/BFb0055359","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"D. Bosnacki","year":"1998","unstructured":"Bosnacki, D., Dams, D.: Discrete-time Promela and Spin. In: Ravn, A.P., Rischel, H. (eds.) FTRTFT 1998. LNCS, vol.\u00a01486, pp. 307\u2013310. Springer, Heidelberg (1998)"},{"key":"14_CR4","series-title":"LNCS Tutorials","volume-title":"4th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Real Time, SFM-04:RT","author":"M. Bozga","year":"2004","unstructured":"Bozga, M., Graf, S., Ober, I., Ober, I., Sifakis, J.: The IF toolset. In: 4th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Real Time, SFM-04:RT, Bologna, September 2004. LNCS Tutorials, Springer, Heidelberg (2004)"},{"key":"14_CR5","first-page":"4167","volume":"4","author":"R. Drechsler","year":"2005","unstructured":"Drechsler, R., Gro\u00dfe, D.: CheckSyC: An Efficient Property Checker for RTL SystemC Designs. ISCAS\u00a04, 4167\u20134170 (2005)","journal-title":"ISCAS"},{"key":"14_CR6","unstructured":"Feiler, P.: Architecture Analysis & Design Language (AADL). Technical Report AS5506, SAE International (2004)"},{"key":"14_CR7","volume-title":"Transaction Level Modeling with SystemC, TLM Concepts and Applications for Embedded Systems","year":"2005","unstructured":"Ghenassia, F. (ed.): Transaction Level Modeling with SystemC, TLM Concepts and Applications for Embedded Systems. Springer, Heidelberg (2005)"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Halbwachs, N., Lagnier, F., Ratel, C.: Programming and verifying critical systems by means of the synchronous data-flow programming language lustre. IEEE Transactions on Software Engineering, Special Issue on the Specification and Analysis of Real-Time Systems (September 1992)","DOI":"10.1109\/32.159839"},{"key":"14_CR9","unstructured":"Hoffmann, D., Gerlach, J., Ruf, J., Kropf, T., Mueller, W., Rosenstiehl, W.: The Simulation Semantics of SystemC. In: DATE, pp. 64\u201370 (2001)"},{"key":"14_CR10","volume-title":"The SPIN Model Checker: Primer and Reference Manual","author":"G.J. Holzmann","year":"2004","unstructured":"Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Professional, London (2004)"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Kroening, D., Sharygina, N.: Formal Verification of SystemC by Automatic Hardware\/Software Partitioning. In: MEMOCODE 2005, pp. 101\u2013110 (2005)","DOI":"10.1109\/MEMCOD.2005.1487900"},{"issue":"1\u20132","key":"14_CR12","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\u20132), 134\u2013152 (1997)","journal-title":"Int. Journal on Software Tools for Technology Transfer"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"McMillan, K.L.: The SMV system (November 06, 1992)","DOI":"10.1007\/978-1-4615-3190-6_4"},{"key":"14_CR14","unstructured":"Moy, M.: Techniques and Tools for the Verification of Systems-on-a-Chip at the Transaction Level. PhD thesis, INPG, Grenoble, France (December 2005)"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Moy, M., Maraninchi, F., Maillet-Contoz, L.: Pinapa: An extraction tool for systemc descriptions of systems-on-a-chip. In: EMSOFT (September 2005)","DOI":"10.1145\/1086228.1086286"},{"issue":"2-3","key":"14_CR16","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/s10617-006-9044-6","volume":"10","author":"M. Moy","year":"2006","unstructured":"Moy, M., Maraninchi, F., Maillet-Contoz, L.: LusSy: an pen Tool for the Analysis of Systems-on-a-Chip at the Transaction Level. Design Automation for Embedded Systems\u00a010(2-3), 73\u2013104 (2006)","journal-title":"Design Automation for Embedded Systems"},{"key":"14_CR17","unstructured":"Open SystemC Initiative. IEEE 1666: SystemC Language Reference Manual (2005) www.systemc.org"},{"key":"14_CR18","first-page":"10376","volume":"1","author":"A. Salem","year":"2003","unstructured":"Salem, A.: Formal Semantics of Synchronous SystemC. DATE\u00a01, 10376\u201310381 (2003)","journal-title":"DATE"},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"Talpin, J.-P., Le Guernic, P., Shukla, S., Gupta, R.: Compositional behavioral modeling of embedded systems and conformance checking. International Journal on Parallel processing, special issue on testing of embedded systems (2005)","DOI":"10.1007\/s10766-005-8907-y"}],"container-title":["Lecture Notes in Computer Science","Model Checking Software"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73370-6_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T19:01:31Z","timestamp":1737399691000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73370-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540733690","9783540733706"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73370-6_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007]]}}}