{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:32:39Z","timestamp":1761489159482,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642389108"},{"type":"electronic","value":"9783642389115"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"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":[[2013]]},"DOI":"10.1007\/978-3-642-38911-5_6","type":"book-chapter","created":{"date-parts":[[2013,6,12]],"date-time":"2013-06-12T01:55:18Z","timestamp":1371002118000},"page":"91-106","source":"Crossref","is-referenced-by-count":7,"title":["Static Analysis Techniques to Verify Mutual Exclusion Situations within SysML Models"],"prefix":"10.1007","author":[{"given":"Ludovic","family":"Apvrille","sequence":"first","affiliation":[]},{"given":"Pierre","family":"de Saqui-Sannes","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Debbabi, M., Hassa\u00efne, F., Jarraya, Y., Soeanu, A., Alawneh, L.: Verification and Validation in Systems Engineering: Assessing UML\/SysML Design Models, p. 270. Springer (2010) ISBN 978-3-642-15227-6","DOI":"10.1007\/978-3-642-15228-3"},{"key":"6_CR2","unstructured":"Atego ARTiSAN Studio, http:\/\/www.atego.com\/products\/artisan-studio\/"},{"key":"6_CR3","unstructured":"SysML Companion, http:\/\/www.realtimeatwork.com\/software\/sysml-companion\/"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Dragomir, I., Ober, I., Lesens, D.: A Case Study in Formal System Engineering with SysML. In: 17th International Conference on Engineering of Complex Computer Systems (ICECCS 2012), pp. 189\u2013198. IEEE Computer Society (2012)","DOI":"10.1109\/ICECCS20050.2012.6299214"},{"key":"6_CR5","unstructured":"TOPCASED, http:\/\/www.topcased.org"},{"key":"6_CR6","unstructured":"TTool, http:\/\/ttool.telecom-paristech.fr"},{"issue":"1","key":"6_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1921532.1921556","volume":"36","author":"D. Knorreck","year":"2012","unstructured":"Knorreck, D., Apvrille, L., De Saqui-Sannes, P.: TEPE: A SysML Language for Time-Constrained Property Modeling and Formal Verification. ACM SIGSOFT Software Engineering Notes\u00a036(1), 1\u20138 (2012)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Pedroza, G., Knorreck, D., Apvrille, L.: AVATAR: A SysML Environment for the Formal Verification of Safety and Security Properties. In: New Technologies of Distributed Systems (NOTERE), pp. 1\u201310. IEEE (2011), http:\/\/dx.doi.org\/10.1109\/NOTERE.2011.5957992","DOI":"10.1109\/NOTERE.2011.5957992"},{"key":"6_CR9","unstructured":"Apvrille, L., Becoulet, A.: Prototyping an Embedded Automotive System from its UML\/SysML Models. In: Proceedings of Embedded Real Time Systems and Software (ERTSS 2012) (2012), www.erts2012.org\/Site\/0P2RUC89\/3C-1.pdf"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-540-27755-2_3","volume-title":"Lectures on Concurrency and Petri Nets","author":"J. Bengtsson","year":"2004","unstructured":"Bengtsson, J., Yi, W.: Timed Automata: Semantics, Algorithms and Tools. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol.\u00a03098, pp. 87\u2013124. Springer, Heidelberg (2004)"},{"key":"6_CR11","unstructured":"Blanchet, B.: Using Horn Clauses for Analyzing Security Protocols. In: Formal Models and Techniques for Analyzing Security Protocols. Cryptology and Information Security Series, vol.\u00a05, pp. 86\u2013111. IOS Press (2011)"},{"issue":"4","key":"6_CR12","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"issue":"6","key":"6_CR13","first-page":"419","volume":"6","author":"M. Diaz","year":"1982","unstructured":"Diaz, M.: Modeling and analysis of communication and cooperation protocols using petri net based models. Computer Networks\u00a06(6), 419\u2013441 (1982)","journal-title":"Computer Networks"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Diaz, M.: Petri Nets: Fundamental Models, Verification and Applications, p. 768. John Wiley & Sons (2009)","DOI":"10.1002\/9780470611647"},{"key":"6_CR15","first-page":"1","volume":"124","author":"J. Farkas","year":"1902","unstructured":"Farkas, J.: Theorie den einfachen Ungleichungen. Journal f\u00fcr die Reine und Angewandte Mathematik (Crelle\u2019s Journal)\u00a0124, 1\u201327 (1902)","journal-title":"Journal f\u00fcr die Reine und Angewandte Mathematik (Crelle\u2019s Journal)"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/3-540-53863-1_23","volume-title":"Advances in Petri Nets 1990","author":"J.-M. Colom","year":"1991","unstructured":"Colom, J.-M., Silva, M.: Improving the Linearly Based Characterization of P\/T Nets. In: Rozenberg, G. (ed.) APN 1990. LNCS, vol.\u00a0483, pp. 113\u2013145. Springer, Heidelberg (1991)"},{"key":"6_CR17","unstructured":"Kelling, E., Friedewald, M., Leimbach, T., Menzel, M., S\u00e9ger, P., Seudi\u00e9, H., Weyl, B.: Specification and evaluation of e-security relevant use cases. Technical Report Deliverable D2.1, EVITA Project (2009)"},{"key":"6_CR18","unstructured":"Object Management Group: OMG Systems Modeling Language (OMG SysMLTM) Version 1.3, http:\/\/www.omg.org\/spec\/SysML\/1.3\/PDF\/"},{"key":"6_CR19","unstructured":"Object Management Group: Documents Associated With Unified Modeling Language (UML), V2.4.1, http:\/\/www.omg.org\/spec\/UML\/2.4.1\/"},{"issue":"4","key":"6_CR20","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/s11334-011-0163-2","volume":"7","author":"I. Ober","year":"2011","unstructured":"Ober, I., Ober, I., Dragomir, I., Aboussoror, E.A.: UML\/SysML semantic tunings. Innovations in Systems and Software Engineering\u00a07(4), 257\u2013264 (2011)","journal-title":"Innovations in Systems and Software Engineering"},{"key":"6_CR21","unstructured":"da Silva, E.C., Villani, E.: Integrando sysml e model checking para v&v de software critico espacial. In: Brasilian Symposium on Aerospace Engineering and Applications (2009), http:\/\/www.cta-dlr2009.ita.br\/Proceedings\/PDF\/59054.pdf"},{"issue":"7","key":"6_CR22","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1109\/TC.1982.1676061","volume":"31","author":"J.-M. Ayache","year":"1982","unstructured":"Ayache, J.-M., Courtiat, J.-P., Diaz, M.: REBUS, A Fault-Tolerant Distributed System for Industrial Real-Time Control. IEEE Transactions on Computers\u00a031(7), 637\u2013647 (1982)","journal-title":"IEEE Transactions on Computers"},{"key":"6_CR23","unstructured":"Time Petri Net Analyzer, http:\/\/projects.laas.fr\/tina\/"},{"issue":"3","key":"6_CR24","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/0304-3975(81)90049-9","volume":"14","author":"K. Jensen","year":"2002","unstructured":"Jensen, K.: Coloured Petri Nets and the Invariant Method. Theoretical Computer Science\u00a014(3), 317\u2013336 (2002)","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","SDL 2013: Model-Driven Dependability Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38911-5_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,2]],"date-time":"2023-07-02T10:04:38Z","timestamp":1688292278000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38911-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642389108","9783642389115"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38911-5_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}