{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T20:26:41Z","timestamp":1760646401790},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319261072"},{"type":"electronic","value":"9783319261096"}],"license":[{"start":{"date-parts":[[2015,10,31]],"date-time":"2015-10-31T00:00:00Z","timestamp":1446249600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-26109-6_5","type":"book-chapter","created":{"date-parts":[[2015,10,30]],"date-time":"2015-10-30T14:22:40Z","timestamp":1446214960000},"page":"69-81","source":"Crossref","is-referenced-by-count":1,"title":["Designing and Integrating Complex Systems: Be Agile Through Liveness Verification and Abstraction"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Lambolais","sequence":"first","affiliation":[]},{"given":"Anne-Lise","family":"Courbis","sequence":"additional","affiliation":[]},{"given":"Hong-Viet","family":"Luong","sequence":"additional","affiliation":[]},{"given":"Thanh-Liem","family":"Phan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,10,31]]},"reference":[{"key":"5_CR1","unstructured":"OMG MDA. Model Driven Architecture Foundatation Model. OMG ormsc\/10-09-06 (2006)"},{"key":"5_CR2","unstructured":"Systems engineering handbook. INCOSE (2006)"},{"key":"5_CR3","unstructured":"Estefan, J.A.: Survey of model-based systems engineering (mbse) methodologies. Technical Report INCOSE-TD-2007-003-01, INCOSE MBSE Focus Group (2008)"},{"key":"5_CR4","unstructured":"IEEE 1220-2005. Standard for application and management of the systems engineering process. In: IEEE Computer Society (2005)"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Clarke, E.M.: The birth of model checking. In: 25 Years of Model Checking. Lecture Notes in Computer Science, vol. 5000, pp. 1\u201326 (2008)","DOI":"10.1007\/978-3-540-69850-0_1"},{"key":"5_CR6","unstructured":"ISO\/IEC9646. Information technology\u2014open systems interconnection\u2014conformance testing methodology and framework\u2014part 1: general concepts (1991)"},{"key":"5_CR7","unstructured":"Baldoni, M., Baroglio, C., Chopra, A.K., Desai, N., Patti, V., Singh, M.P.: Choice, interoperability, and conformance in interaction protocols and service choreographies. In: Sierra, C., Decker, K.S., Sichman, J.S., Castelfranchi, C. (eds.) 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009). Budapest, Hungary, May 2009"},{"key":"5_CR8","unstructured":"Laurent Doldi. UML 2 Illustrated: Developing Real Time & Communication Systems. TMSO (2003)"},{"issue":"3","key":"5_CR9","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1023\/A:1011254632723","volume":"19","author":"O Kupferman","year":"2001","unstructured":"Kupferman, O., Vardi, M.Y.: Model checking of safety properties. Formal Methods Syst. Des. 19(3), 291\u2013314 (2001)","journal-title":"Formal Methods Syst. Des."},{"key":"5_CR10","first-page":"202","volume-title":"Lecture Notes in Computer Science","author":"Antti Puhakka","year":"2001","unstructured":"Puhakka, A., Valmari, A.: Liveness and fairness in process-algebraic verification. In: Proceedings of the 12th International Conference on Concurrency Theory, CONCUR \u201801, pp. 202\u2013217. Springer, London, UK (2001)"},{"key":"5_CR11","unstructured":"Oracle Corp. The Java Tutorials\u2014Trial Essential Classes: Concurrency. Liveness. \n                  http:\/\/docs.oracle.com\/javase\/tutorial\/essential\/concurrency\/liveness.html\/\n                  \n                 (2015)"},{"key":"5_CR12","unstructured":"Khalil, A., Dingel, J.: Supporting the Evolution of UML Models in Model Driven Software Development: a Survey. Technical Report 602, School of computing, Queen\u2019s University, Ontario, Canada (2013)"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Usman, M., Nadeem, A., Kim, T.H., Cho, E.S.: A survey of consistency checking techniques for UML models. In: Proceedings of the 2008 Advanced Software Engineering and its Applications, pp. 57\u201362 (2008)","DOI":"10.1109\/ASEA.2008.40"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Abrial, J.-R.: Modeling in Event-B\u2014System and Software Engineering. Cambridge University Press, Cambridge (2010)","DOI":"10.1017\/CBO9781139195881"},{"key":"5_CR15","first-page":"1","volume-title":"Advances in Formal Methods","author":"Graeme Smith","year":"2000","unstructured":"Smith, G.: The Object-Z Specification Language, Volume 1 of Advances in Formal Methods. Kluwer Academic Publishers, Boston (2000)"},{"key":"5_CR16","first-page":"16","volume-title":"Lecture Notes in Computer Science","author":"Simon Hudon","year":"2013","unstructured":"Hudon, S., Hoang, T.S.: Systems design guided by progress concerns. In: Integrated Formal Methods, pp. 16\u201330. Springer, Berlin, Heidelberg (2013)"},{"key":"5_CR17","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Inc., New York (1989)"},{"issue":"1","key":"5_CR18","doi-asserted-by":"crossref","first-page":"7879","DOI":"10.3182\/20110828-6-IT-1002.03523","volume":"44","author":"Thomas Lambolais","year":"2011","unstructured":"Lambolais, T., Courbis, A.-L., Luong, H.-V., Phan, T.-L.: Interoperability analysis of systems. In: 18th World Congress of the International Federation of Automatic Control (IFAC 2011), pp. 7879\u20137884 (2011)","journal-title":"IFAC Proceedings Volumes"},{"key":"5_CR19","unstructured":"Luong, H.-V.: Construction incr\u00e9mentale de sp\u00e9cifications de syst\u00e8mes critiques int\u00e9grant des proc\u00e9dures de v\u00e9rification. PhD thesis, Universit\u00e9 Paul Sabatier Toulouse III, Oct 2010"},{"key":"5_CR20","unstructured":"Phan, T.-L.: D\u00e9veloppement incr\u00e9mental de sp\u00e9cifications d\u2019architectures en UML int\u00e9grant des proc\u00e9dures de v\u00e9rification. PhD thesis, Universit\u00e9 Montpellier II (2013)"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Cleaveland, R., Steffen, B.: A preorder for partial process specifications. In: CONCUR \u201890 Theories of Concurrency: Unification and Extension, pp. 141\u2013151. Springer, New York, NY, USA (1990)","DOI":"10.1007\/BFb0039057"},{"key":"5_CR22","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/0169-7552(92)90122-7","volume":"25","author":"Guy Leduc","year":"1992","unstructured":"Leduc, Guy: A framework based on implementation relations for implementing LOTOS specifications. Comput. Netw. ISDN Syst. 25, 23\u201341 (1992)","journal-title":"Comput. Netw. ISDN Syst."},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Moseley, S., Randall, S., Wiles, A.: In pursuit of interoperability. In: Jakobs, K. (ed.) Advanced Topics in Information Technology Standards and Standardization Research, Chap. 17, pp. 321\u2013323. Idea Group Publishing, Hershey (2006)","DOI":"10.4018\/978-1-59140-938-0.ch017"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"Luong, H.-V., Lambolais, T., Courbis, A.-L.: Implementation of the conformance relation for incremental development of behavioural models. In: Czarnecki, K. (ed.) Proceedings of 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS). Lecture Notes in Computer Science, vol. 5301, pp. 356\u2013370. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-87875-9_26"},{"key":"5_CR25","first-page":"54","volume":"781","author":"P Farail","year":"2006","unstructured":"Farail, P., Gaufillet, P., Canals, A., Le Camus, C., Sciamma, D., Michel, P., Cr\u00e9gut, X., Pantel, M.: The TOPCASED project: a toolkit in open source for critical aeronautic systems design. Ing\u00e9nieurs de l\u2019Automobile 781, 54\u201359 (2006)","journal-title":"Ing\u00e9nieurs de l\u2019Automobile"},{"key":"5_CR26","first-page":"70","volume-title":"Lecture Notes in Computer Science","author":"Fr\u00e9d\u00e9ric Lang","year":"2005","unstructured":"Lang, F.: Exp.Open 2.0: a flexible tool integrating partial order, compositional, and on-the-fly verification methods. In: Integrated Formal Methods, pp. 70\u201388. Springer, Berlin (2005)"},{"key":"5_CR27","doi-asserted-by":"crossref","first-page":"372","DOI":"10.1007\/978-3-642-19835-9_33","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Hubert Garavel","year":"2011","unstructured":"Garavel, H., Lang, F., Mateescu, R., Serwe, W.: CADP 2010: a toolbox for the construction and analysis of distributed processes. In: Abdulla, P.A., Leino, K.R.M. (eds.) Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science, vol. 6605, pp. 372\u2013387. Springer, Berlin, Heidelberg, Saarbr\u00fccken (2011)"}],"container-title":["Complex Systems Design & Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-26109-6_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T11:04:43Z","timestamp":1559300683000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-26109-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,31]]},"ISBN":["9783319261072","9783319261096"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-26109-6_5","relation":{},"subject":[],"published":{"date-parts":[[2015,10,31]]}}}