{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,30]],"date-time":"2025-12-30T23:24:06Z","timestamp":1767137046791,"version":"build-2238731810"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030315160","type":"print"},{"value":"9783030315177","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-31517-7_11","type":"book-chapter","created":{"date-parts":[[2019,9,21]],"date-time":"2019-09-21T08:02:29Z","timestamp":1569052949000},"page":"158-175","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Verifying System-Wide Properties of Industrial Component-Based Software"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Neele","sequence":"first","affiliation":[]},{"given":"Marijn","family":"Rol","sequence":"additional","affiliation":[]},{"given":"Jan Friso","family":"Groote","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,9,22]]},"reference":[{"key":"11_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/978-3-030-00244-2_7","volume-title":"Formal Methods for Industrial Critical Systems","author":"M Bartholomeus","year":"2018","unstructured":"Bartholomeus, M., Luttik, B., Willemse, T.: Modelling and analysing ERTMS hybrid level 3 with the mCRL2 toolset. In: Howar, F., Barnat, J. (eds.) FMICS 2018. LNCS, vol. 11119, pp. 98\u2013114. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-00244-2_7"},{"key":"11_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/978-3-319-67113-0_14","volume-title":"Critical Systems: Formal Methods and Automated Verification","author":"R van Beusekom","year":"2017","unstructured":"van Beusekom, R., et al.: Formalising the Dezyne modelling language in mCRL2. In: Petrucci, L., Seceleanu, C., Cavalcanti, A. (eds.) FMICS\/AVoCS -2017. LNCS, vol. 10471, pp. 217\u2013233. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-67113-0_14"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"548","DOI":"10.1007\/11526841_39","volume-title":"FM 2005: Formal Methods","author":"GH Broadfoot","year":"2005","unstructured":"Broadfoot, G.H.: ASD case notes: costs and benefits of applying formal methods to industrial control software. In: Fitzgerald, J., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol. 3582, pp. 548\u2013551. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11526841_39"},{"key":"11_CR4","unstructured":"Broadfoot, G.H., Hopcroft, P.J.: Analytical software design. Technical report, Verum Consultants B.V. (2003)"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-030-17465-1_2","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"O Bunte","year":"2019","unstructured":"Bunte, O., et al.: The mCRL2 toolset for analysing concurrent systems. In: Vojnar, T., Zhang, L. (eds.) TACAS 2019. LNCS, vol. 11428, pp. 21\u201339. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-17465-1_2"},{"issue":"28","key":"11_CR6","doi-asserted-by":"publisher","first-page":"3129","DOI":"10.1016\/j.tcs.2011.02.034","volume":"412","author":"S Cranen","year":"2011","unstructured":"Cranen, S., Groote, J.F., Reniers, M.A.: A linear translation from CTL* to the first-order modal $$\\mu $$-calculus. Theor. Comput. Sci. 412(28), 3129\u20133139 (2011). https:\/\/doi.org\/10.1016\/j.tcs.2011.02.034","journal-title":"Theor. Comput. Sci."},{"key":"11_CR7","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/j.jlamp.2016.09.002","volume":"88","author":"H Evrard","year":"2017","unstructured":"Evrard, H., Lang, F.: Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous. J. Log. Algebraic Methods Program. 88, 121\u2013153 (2017). https:\/\/doi.org\/10.1016\/j.jlamp.2016.09.002","journal-title":"J. Log. Algebraic Methods Program."},{"issue":"2","key":"11_CR8","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-3-540-73368-3_18","volume":"15","author":"H Garavel","year":"2013","unstructured":"Garavel, H., Lang, F., Mateescu, R., Serwe, W.: CADP 2011: a toolbox for the construction and analysis of distributed processes. STTT 15(2), 89\u2013107 (2013). https:\/\/doi.org\/10.1007\/978-3-540-73368-3_18","journal-title":"STTT"},{"key":"11_CR9","doi-asserted-by":"publisher","unstructured":"Groote, J.F., Jansen, D.N., Keiren, J.J.A., Wijs, A.J.: An O(m log n) algorithm for computing stuttering equivalence and branching bisimulation. ACM Trans. Comput. Logic 18(2) (2017). https:\/\/doi.org\/10.1007\/978-3-662-49674-9_40","DOI":"10.1007\/978-3-662-49674-9_40"},{"key":"11_CR10","doi-asserted-by":"publisher","unstructured":"Groote, J.F., Kouters, T.W.D.M., Osaiweran, A.: Specification guidelines to avoid the state space explosion problem. Softw. Test. Verif. Reliab. 25(1), 4\u201333 (2015). https:\/\/doi.org\/10.1002\/stvr.1536","DOI":"10.1002\/stvr.1536"},{"key":"11_CR11","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/9946.001.0001","volume-title":"Modeling and Analysis of Communicating Systems","author":"JF Groote","year":"2014","unstructured":"Groote, J.F., Mousavi, M.R.: Modeling and Analysis of Communicating Systems. MIT Press, Cambridge (2014)"},{"key":"11_CR12","unstructured":"Jonk, R.: The semantics of ALIAS defined in mCRL2. Master\u2019s thesis, Eindhoven University of Technology (2016)"},{"issue":"3","key":"11_CR13","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/BFb0012782","volume":"27","author":"D Kozen","year":"1982","unstructured":"Kozen, D.: Results on the propositional $$\\mu $$-calculus. Theor. Comput. Sci. 27(3), 333\u2013354 (1982). https:\/\/doi.org\/10.1007\/BFb0012782","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"11_CR14","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/s10009-015-0374-1","volume":"18","author":"A Osaiweran","year":"2016","unstructured":"Osaiweran, A., Schuts, M., Hooman, J., Groote, J.F., van Rijnsoever, B.J.: Evaluating the effect of a lightweight formal technique in industry. STTT 18(1), 93\u2013108 (2016). https:\/\/doi.org\/10.1007\/s10009-015-0374-1","journal-title":"STTT"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/978-3-642-38088-4_17","volume-title":"NASA Formal Methods","author":"D Remenska","year":"2013","unstructured":"Remenska, D., et al.: From UML to process algebra and back: an automated approach to model-checking software design artifacts of concurrent systems. In: Brat, G., Rungta, N., Venet, A. (eds.) NFM 2013. LNCS, vol. 7871, pp. 244\u2013260. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-38088-4_17"},{"key":"11_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-662-43613-4_2","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"D Remenska","year":"2014","unstructured":"Remenska, D., Willemse, T.A.C., Templon, J., Verstoep, K., Bal, H.: Property specification made easy: harnessing the power of model checking in UML designs. In: \u00c1brah\u00e1m, E., Palamidessi, C. (eds.) FORTE 2014. LNCS, vol. 8461, pp. 17\u201332. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-43613-4_2"},{"issue":"2","key":"11_CR17","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/s00165-005-0065-x","volume":"17","author":"AW Roscoe","year":"2005","unstructured":"Roscoe, A.W.: On the expressive power of CSP refinement. Form. Asp. Comput. 17(2), 93\u2013112 (2005). https:\/\/doi.org\/10.1007\/s00165-005-0065-x","journal-title":"Form. Asp. Comput."}],"updated-by":[{"DOI":"10.1007\/978-3-030-31517-7_18","type":"correction","label":"Correction","source":"publisher","updated":{"date-parts":[[2019,10,29]],"date-time":"2019-10-29T00:00:00Z","timestamp":1572307200000}}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-31517-7_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,20]],"date-time":"2023-09-20T20:14:12Z","timestamp":1695240852000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-31517-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030315160","9783030315177"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-31517-7_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"22 September 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"29 October 2019","order":2,"name":"change_date","label":"Change Date","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"Correction","order":3,"name":"change_type","label":"Change Type","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"In Definition 2 of the originally published version, the first equation and the second paragraph were missing and the block of 5 equations was not aligned correctly. This has been corrected.","order":4,"name":"change_details","label":"Change Details","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FSEN","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Fundamentals of Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tehran","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Iran","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 May 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 May 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fsen2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/fsen.ir\/2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"\u00caasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"47","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"14","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"30% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"n\/a","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}