{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,8]],"date-time":"2026-04-08T21:37:02Z","timestamp":1775684222420,"version":"3.50.1"},"publisher-location":"Cham","reference-count":103,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319682693","type":"print"},{"value":"9783319682709","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-68270-9_1","type":"book-chapter","created":{"date-parts":[[2017,9,26]],"date-time":"2017-09-26T07:17:19Z","timestamp":1506410239000},"page":"3-26","source":"Crossref","is-referenced-by-count":50,"title":["From LOTOS to LNT"],"prefix":"10.1007","author":[{"given":"Hubert","family":"Garavel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Lang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wendelin","family":"Serwe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,9,27]]},"reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/978-3-319-02444-8_14","volume-title":"Automated Technology for Verification and Analysis","author":"R Abid","year":"2013","unstructured":"Abid, R., Sala\u00fcn, G., Bongiovanni, F., De Palma, N.: Verification of a dynamic management protocol for cloud applications. In: Van Hung, D., Ogawa, M. (eds.) ATVA 2013. LNCS, vol. 8172, pp. 178\u2013192. Springer, Cham (2013). doi: 10.1007\/978-3-319-02444-8_14"},{"issue":"2","key":"1_CR2","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/978-3-642-40793-2_27","volume-title":"Computer Safety, Reliability, and Security","author":"F Arnold","year":"2013","unstructured":"Arnold, F., Belinfante, A., Van der Berg, F., Guck, D., Stoelinga, M.: DFTCalc: a tool for efficient fault tree analysis. In: Bitsch, F., Guiochet, J., Ka\u00e2niche, M. (eds.) SAFECOMP 2013. LNCS, vol. 8153, pp. 293\u2013301. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-40793-2_27"},{"key":"1_CR4","unstructured":"Berthomieu, B., Bodeveix, J.P., Farail, P., Filali, M., Garavel, H., Gaufillet, P., Lang, F., Vernadat, F.: FIACRE: an intermediate language for model verification in the TOPCASED environment. In: Laprie, J.C. (ed.) Proceedings of the 4th European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, France, January 2008"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/3-540-57880-3_6","volume-title":"Programming Languages and Systems \u2014 ESOP \u201994","author":"B Berthomieu","year":"1994","unstructured":"Berthomieu, B., Le Sergent, T.: Programming with behaviors in an ML framework \u2014 the syntax and semantics of LCS. In: Sannella, D. (ed.) ESOP 1994. LNCS, vol. 788, pp. 89\u2013104. Springer, Heidelberg (1994). doi: 10.1007\/3-540-57880-3_6"},{"issue":"1","key":"1_CR6","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T Bolognesi","year":"1988","unstructured":"Bolognesi, T., Brinksma, E.: Introduction to the ISO specification language LOTOS. Comput. Netw. ISDN Syst. 14(1), 25\u201359 (1988)","journal-title":"Comput. Netw. ISDN Syst."},{"issue":"3","key":"1_CR7","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/0167-6423(87)90010-4","volume":"9","author":"P Boullier","year":"1987","unstructured":"Boullier, P., Jourdan, M.: A new error repair and recovery scheme for lexical and syntactic analysis. Sci. Comput. Program. 9(3), 271\u2013286 (1987)","journal-title":"Sci. Comput. Program."},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/978-3-642-21437-0_10","volume-title":"FM 2011: Formal Methods","author":"F Boyer","year":"2011","unstructured":"Boyer, F., Gruber, O., Sala\u00fcn, G.: Specifying and verifying the SYNERGY reconfiguration protocol with LOTOS NT and CADP. In: Butler, M., Schulte, W. (eds.) FM 2011. LNCS, vol. 6664, pp. 103\u2013117. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-21437-0_10"},{"key":"1_CR9","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1007\/978-1-4615-2203-4_22","volume-title":"LOTOSphere: Software Development with LOTOS","author":"E Brinksma","year":"1995","unstructured":"Brinksma, E., Leih, G.: Enhancements of LOTOS. In: Bolognesi, T., Lagemaat, J., Vissers, C. (eds.) LOTOSphere: Software Development with LOTOS, pp. 453\u2013466. Kluwer Academic Publishers, Dordrecht (1995)"},{"key":"1_CR10","unstructured":"Brinksma, E.: A tutorial on LOTOS. In: Diaz, M. (ed.) Proceedings of the 5th IFIP International Workshop on Protocol Specification, Testing and Verification (PSTV 1885), Moissac, France, pp. 171\u2013194. North-Holland, Amsterdam, June 1985"},{"key":"1_CR11","unstructured":"Brinksma, E.: On the design of Extended LOTOS - a specification language for open distributed systems. Ph.D. thesis, University of Twente, November 1988"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/3-540-52559-9_63","volume-title":"Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness","author":"E Brinksma","year":"1990","unstructured":"Brinksma, E.: Constraint-oriented specification in a constructive formal description technique. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1989. LNCS, vol. 430, pp. 130\u2013152. Springer, Heidelberg (1990). doi: 10.1007\/3-540-52559-9_63"},{"key":"1_CR13","unstructured":"Brinksma, E.: Task 1.4 Deliverable on Language Enhancements, LOTOSphere (ESPRIT Projet 2304) Document ref. Lo\/WP1\/T1.4\/N0016\/V3, 146 p., April 1992"},{"key":"1_CR14","unstructured":"Brinksma, E., Karjoth, G.: A specification of the OSI transport service in LOTOS. In: Yemini, Y., Strom, R.E., Yemini, S. (eds.) Proceedings of the 4th IFIP International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, pp. 227\u2013251. North-Holland, Amsterdam, June 1984"},{"issue":"7","key":"1_CR15","doi-asserted-by":"crossref","first-page":"552","DOI":"10.1093\/comjnl\/38.7.552","volume":"38","author":"E Brinksma","year":"1995","unstructured":"Brinksma, E., Katoen, J.P., Langerak, R., Latella, D.: A stochastic causality-based process algebra. Comput. J. 38(7), 552\u2013565 (1995)","journal-title":"Comput. J."},{"key":"1_CR16","unstructured":"Brinksma, E., Tretmans, J., Verhaard, L.: A framework for test selection. In: Jonsson, B., Parrow, J., Pehrson, B. (eds.) Proceedings of the IFIP WG6.1 9th International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden. pp. 233\u2013248. North-Holland, Amsterdam, June 1991"},{"issue":"3","key":"1_CR17","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"SD Brookes","year":"1984","unstructured":"Brookes, S.D., Hoare, C.A.R., Roscoe, A.W.: A theory of communicating sequential processes. J. ACM 31(3), 560\u2013599 (1984)","journal-title":"J. ACM"},{"key":"1_CR18","unstructured":"CCITT: Specification and Description Language. Recommendation Z.100, International Consultative Committee for Telephony and Telegraphy, Geneva, March 1988"},{"key":"1_CR19","unstructured":"Champelovier, D., Clerc, X., Garavel, H., Guerte, Y., McKinty, C., Powazny, V., Lang, F., Serwe, W., Smeding, G.: Reference Manual of the LNT to LOTOS Translator (Version 6.7), INRIA, Grenoble, France, July 2017"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Chebieb, A., Ameur, Y.A.: Formal verification of plastic user interfaces exploiting domain ontologies. In: Zhiqiu, H., Jun, S. (eds.) Proceedings of the International Symposium on Theoretical Aspects of Software Engineering (TASE 2015), Nanjing, China, pp. 79\u201386. IEEE Computer Society, Washington, D.C. (2015)","DOI":"10.1109\/TASE.2015.25"},{"issue":"11","key":"1_CR21","first-page":"1071","volume":"6","author":"RG Clark","year":"2000","unstructured":"Clark, R.G., Moreira, A.: Use of E-LOTOS in adding formality to UML. J. Univers. Comput. Sci. 6(11), 1071\u20131087 (2000)","journal-title":"J. Univers. Comput. Sci."},{"issue":"12","key":"1_CR22","doi-asserted-by":"crossref","first-page":"1104","DOI":"10.1016\/S0140-3664(99)00240-6","volume":"23","author":"J Courtiat","year":"2000","unstructured":"Courtiat, J., Santos, C.A.S., Lohr, C., Outtaj, B.: Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique. Comput. Commun. 23(12), 1104\u20131123 (2000)","journal-title":"Comput. Commun."},{"key":"1_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-642-19811-3_9","volume-title":"Fundamental Approaches to Software Engineering","author":"P Crouzen","year":"2011","unstructured":"Crouzen, P., Lang, F.: Smart reduction. In: Giannakopoulou, D., Orejas, F. (eds.) FASE 2011. LNCS, vol. 6603, pp. 111\u2013126. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-19811-3_9"},{"key":"1_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/3-540-48257-1_4","volume-title":"Applied Formal Methods \u2014 FM-Trends 1998","author":"WL Souza de","year":"1999","unstructured":"de Souza, W.L., et al.: Design of distributed multimedia applications (DAMD). In: Hutter, D., Stephan, W., Traverso, P., Ullmann, M. (eds.) FM-Trends 1998. LNCS, vol. 1641, pp. 77\u201391. Springer, Heidelberg (1999). doi: 10.1007\/3-540-48257-1_4"},{"key":"1_CR25","unstructured":"Ehrig, H., Fey, W., Hansen, H.: An algebraic specification language with two levels of semantics. Bericht No. 83-03, Fachbereich 20-Informatik, Technische Universit\u00e4t Berlin (1983)"},{"key":"1_CR26","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specification 1: Equations and Initial Semantics","author":"H Ehrig","year":"1985","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science, vol. 6. Springer, Heidelberg (1985). doi: 10.1007\/978-3-642-69962-7"},{"issue":"1","key":"1_CR27","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1002\/spe.2400","volume":"47","author":"X Etchevers","year":"2017","unstructured":"Etchevers, X., Sala\u00fcn, G., Boyer, F., Coupaye, T., Palma, N.D.: Reliable self-deployment of distributed cloud applications. Softw. Pract. Exp. 47(1), 3\u201320 (2017)","journal-title":"Softw. Pract. Exp."},{"key":"1_CR28","unstructured":"Evrard, H.: G\u00e9n\u00e9ration automatique d\u2019impl\u00e9mentation distribu\u00e9e \u00e0 partir de mod\u00e8les formels de processus concurrents asynchrones. Th\u00e8se de Doctorat, Universit\u00e9 de Grenoble, July 2015"},{"key":"1_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"553","DOI":"10.1007\/978-3-662-49674-9_34","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H Evrard","year":"2016","unstructured":"Evrard, H.: DLC: compiling a concurrent system formal specification to a distributed implementation. In: Chechik, M., Raskin, J.-F. (eds.) TACAS 2016. LNCS, vol. 9636, pp. 553\u2013559. Springer, Heidelberg (2016). doi: 10.1007\/978-3-662-49674-9_34"},{"key":"1_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-642-38592-6_11","volume-title":"Formal Techniques for Distributed Systems","author":"H Evrard","year":"2013","unstructured":"Evrard, H., Lang, F.: Formal verification of distributed branching multiway synchronization protocols. In: Beyer, D., Boreale, M. (eds.) FMOODS\/FORTE -2013. LNCS, vol. 7892, pp. 146\u2013160. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-38592-6_11"},{"key":"1_CR31","doi-asserted-by":"crossref","unstructured":"Evrard, H., Lang, F.: Automatic distributed code generation from formal models of asynchronous concurrent processes. In: Aldinucci, M., Daneshtalab, M., Lepp\u00e4nen, V., Lilius, J. (eds.) Proceedings of the 23rd Euromicro International Conference on Parallel, Distributed and Network-based Processing - Special Session on Formal Approaches to Parallel and Distributed Systems (PDP\/4PAD 2015), Turku, Finland, pp. 459\u2013466. IEEE Computer Society Press, Washington, D.C., March 2015","DOI":"10.1109\/PDP.2015.96"},{"key":"1_CR32","doi-asserted-by":"crossref","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. Algebr. Methods Program. 88, 121\u2013153 (2017)","journal-title":"J. Log. Algebr. Methods Program."},{"key":"1_CR33","unstructured":"Garavel, H.: Utilisation du syst\u00e8me CESAR pour la v\u00e9rification de protocoles sp\u00e9cifi\u00e9s en LOTOS. Rapport SPECTRE C2, Laboratoire de G\u00e9nie Informatique - Institut IMAG, Grenoble, December 1986"},{"key":"1_CR34","unstructured":"Garavel, H.: V\u00e9rification de programmes LOTOS \u00e0 l\u2019aide du syst\u00e8me QUASAR. Master\u2019s thesis, Institut National Polytechnique de Grenoble, September 1986"},{"key":"1_CR35","unstructured":"Garavel, H.: Compilation of LOTOS abstract data types. In: Vuong, S.T. (ed.) Proceedings of the 2nd International Conference on Formal Description Techniques FORTE 1989, Vancouver BC, Canada, pp. 147\u2013162. North-Holland, Amsterdam, December 1989"},{"key":"1_CR36","doi-asserted-by":"crossref","unstructured":"Garavel, H.: On the introduction of gate typing in E-LOTOS. In: Dembinski, P., Sredniawa, M. (eds.) Proceedings of the 15th IFIP International Workshop on Protocol Specification, Testing and Verification (PSTV 1995), Warsaw, Poland, pp. 283\u2013298. Chapman & Hall, New York, June 1995","DOI":"10.1007\/978-0-387-34892-6_18"},{"key":"1_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/BFb0054165","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H Garavel","year":"1998","unstructured":"Garavel, H.: OPEN\/C\u00c6SAR: an open software architecture for verification, simulation, and testing. In: Steffen, B. (ed.) TACAS 1998. LNCS, vol. 1384, pp. 68\u201384. Springer, Heidelberg (1998). doi: 10.1007\/BFb0054165"},{"key":"1_CR38","unstructured":"Garavel, H.: D\u00e9fense et illustration des alg\u00e8bres de processus. In: Mammeri, Z. (ed.) Actes de l\u2019Ecole d\u2019\u00e9t\u00e9 Temps R\u00e9el ETR 2003, Toulouse, France. Institut de Recherche en Informatique de Toulouse, September 2003"},{"key":"1_CR39","doi-asserted-by":"crossref","unstructured":"Garavel, H.: Reflections on the future of concurrency theory in general and process calculi in particular. In: Palamidessi, C., Valencia, F.D. (eds.) Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory, Ecole Polytechnique de Paris, France, 13\u201315 November 2006. Electronic Notes in Theoretical Computer Science, vol. 209, pp. 149\u2013164. Elsevier Science Publishers, Amsterdam, April 2008. Also available as INRIA Research Report RR-6368","DOI":"10.1016\/j.entcs.2008.04.009"},{"issue":"6","key":"1_CR40","doi-asserted-by":"crossref","first-page":"742","DOI":"10.1016\/j.jlamp.2015.08.001","volume":"84","author":"H Garavel","year":"2015","unstructured":"Garavel, H.: Revisiting sequential composition in process calculi. J. Log. Algebr. Methods Program. 84(6), 742\u2013762 (2015)","journal-title":"J. Log. Algebr. Methods Program."},{"key":"1_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1007\/3-540-45614-7_23","volume-title":"FME 2002:Formal Methods\u2014Getting IT Right","author":"H Garavel","year":"2002","unstructured":"Garavel, H., Hermanns, H.: On combining functional verification and performance evaluation using CADP. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol. 2391, pp. 410\u2013429. Springer, Heidelberg (2002). doi: 10.1007\/3-540-45614-7_23"},{"key":"1_CR42","series-title":"IFIP International Federation for Information Processing","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/0-306-47003-9_24","volume-title":"Formal Techniques for Networked and Distributed Systems","author":"H Garavel","year":"2002","unstructured":"Garavel, H., Lang, F.: SVL: a scripting language for compositional verification. In: Kim, M., Chin, B., Kang, S., Lee, D. (eds.) FORTE 2001. IIFIP, vol. 69, pp. 377\u2013392. Kluwer Academic Publishers, Dordrecht (2002). doi: 10.1007\/0-306-47003-9_24"},{"key":"1_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1007\/3-540-36135-9_18","volume-title":"Formal Techniques for Networked and Distributed Sytems \u2014 FORTE 2002","author":"H Garavel","year":"2002","unstructured":"Garavel, H., Lang, F.: NTIF: a general symbolic model for communicating sequential processes with data. In: Peled, D.A., Vardi, M.Y. (eds.) FORTE 2002. LNCS, vol. 2529, pp. 276\u2013291. Springer, Heidelberg (2002). doi: 10.1007\/3-540-36135-9_18"},{"key":"1_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/3-540-45937-5_3","volume-title":"Compiler Construction","author":"H Garavel","year":"2002","unstructured":"Garavel, H., Lang, F., Mateescu, R.: Compiler construction using LOTOS NT. In: Horspool, R.N. (ed.) CC 2002. LNCS, vol. 2304, pp. 9\u201313. Springer, Heidelberg (2002). doi: 10.1007\/3-540-45937-5_3"},{"issue":"2","key":"1_CR45","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/s10009-012-0244-z","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. Int. J. Softw. Tools Technol. Transf. (STTT) 15(2), 89\u2013107 (2013). Springer","journal-title":"Int. J. Softw. Tools Technol. Transf. (STTT)"},{"issue":"3","key":"1_CR46","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1016\/j.scico.2008.09.011","volume":"74","author":"H Garavel","year":"2009","unstructured":"Garavel, H., Sala\u00fcn, G., Serwe, W.: On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP. Sci. Comput. Program. 74(3), 100\u2013127 (2009)","journal-title":"Sci. Comput. Program."},{"key":"1_CR47","doi-asserted-by":"crossref","unstructured":"Garavel, H., Serwe, W.: The unheralded value of the multiway rendezvous: illustration with the production cell benchmark. In: Hermanns, H., H\u00f6fner, P. (eds.) Proceedings of the 2nd Workshop on Models for Formal Analysis of Real Systems (MARS 2017), Uppsala, Sweden, vol. 244, pp. 230\u2013270. Electronic Proceedings in Theoretical Computer Science, April 2017","DOI":"10.4204\/EPTCS.244.10"},{"key":"1_CR48","unstructured":"Garavel, H., Sifakis, J.: Compilation and verification of LOTOS specifications. In: Logrippo, L., Probert, R.L., Ural, H. (eds.) Proceedings of the 10th IFIP International Symposium on Protocol Specification, Testing and Verification (PSTV 1990), Ottawa, Canada, pp. 379\u2013394. North-Holland, Amsterdam, June 1990"},{"key":"1_CR49","doi-asserted-by":"crossref","unstructured":"Garavel, H., Sighireanu, M.: On the introduction of exceptions in LOTOS. In: Gotzhein, R., Bredereke, J. (eds.) Proceedings of the IFIP Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification (FORTE\/PSTV 1996), Kaiserslautern, Germany, pp. 469\u2013484. Chapman & Hall, New York, October 1996","DOI":"10.1007\/978-0-387-35079-0_30"},{"key":"1_CR50","unstructured":"Garavel, H., Sighireanu, M.: Towards a second generation of formal description techniques - rationale for the design of E-LOTOS. In: Groote, J.F., Luttik, B., Wamel, J. (eds.) Proceedings of the 3rd International Workshop on Formal Methods for Industrial Critical Systems (FMICS 1998), Amsterdam, The Netherlands, pp. 187\u2013230. CWI, Amsterdam, May 1998. Invited lecture"},{"key":"1_CR51","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1007\/978-0-387-35578-8_11","volume-title":"Formal Methods for Protocol Engineering and Distributed Systems","author":"H Garavel","year":"1999","unstructured":"Garavel, H., Sighireanu, M.: A graphical parallel composition operator for process algebras. In: Wu, J., Chanson, S.T., Gao, Q. (eds.) Formal Methods for Protocol Engineering and Distributed Systems. IAICT, vol. 28, pp. 185\u2013202. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"1_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-642-02652-2_20","volume-title":"Model Checking Software","author":"H Garavel","year":"2009","unstructured":"Garavel, H., Thivolle, D.: Verification of GALS systems by combining synchronous languages and process calculi. In: P\u0103s\u0103reanu, C.S. (ed.) SPIN 2009. LNCS, vol. 5578, pp. 241\u2013260. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-02652-2_20"},{"key":"1_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-662-43613-4_6","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"A Graf-Brill","year":"2014","unstructured":"Graf-Brill, A., Hermanns, H., Garavel, H.: A model-based certification framework for the EnergyBus standard. In: \u00c1brah\u00e1m, E., Palamidessi, C. (eds.) FORTE 2014. LNCS, vol. 8461, pp. 84\u201399. Springer, Heidelberg (2014). doi: 10.1007\/978-3-662-43613-4_6"},{"key":"1_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/978-3-319-25423-4_19","volume-title":"Formal Methods and Software Engineering","author":"D Guck","year":"2015","unstructured":"Guck, D., Spel, J., Stoelinga, M.: DFTCalc: reliability centered maintenance via fault tree analysis (tool paper). In: Butler, M., Conchon, S., Za\u00efdi, F. (eds.) ICFEM 2015. LNCS, vol. 9407, pp. 304\u2013311. Springer, Cham (2015). doi: 10.1007\/978-3-319-25423-4_19"},{"key":"1_CR55","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/978-3-642-33386-6_20","volume-title":"Automated Technology for Verification and Analysis","author":"M G\u00fcdemann","year":"2012","unstructured":"G\u00fcdemann, M., Sala\u00fcn, G., Ouederni, M.: Counterexample guided synthesis of monitors for realizability enforcement. In: Chakraborty, S., Mukund, M. (eds.) ATVA 2012. LNCS, vol. 7561, pp. 238\u2013253. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-33386-6_20"},{"key":"1_CR56","unstructured":"Huecas, G., Llana-D\u00edaz, L., Quemada, J., Robles, T., Verdejo, A.: Process calculi: E-LOTOS. In: Bowman, H., Derrick, J. (eds.) Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches, pp. 77\u2013104. Cambridge University Press, Cambridge (2001)"},{"key":"1_CR57","unstructured":"Huecas, G., Llana-D\u00edaz, L., Robles, T., Verdejo, A.: E-LOTOS: an overview. In: Marsan, M.A., Quemada, J., Robles, T., Silva, M. (eds.) Proceedings of the Workshop on Formal Methods and Telecommunications (WFMT\u201999), Zaragoza, Spain, pp. 94\u2013102. Prensas Universitarias de Zaragoza, September 1999"},{"key":"1_CR58","unstructured":"ISO\/IEC: LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. Draft International Standard 8807, International Organization for Standardization - Information Processing Systems - Open Systems Interconnection, Geneva, July 1987"},{"key":"1_CR59","unstructured":"ISO\/IEC: ESTELLE - A Formal Description Technique Based on an Extended State Transition Model. International Standard 9074, International Organization for Standardization - Information Processing Systems - Open Systems Interconnection, Geneva, September 1988"},{"key":"1_CR60","unstructured":"ISO\/IEC: LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. International Standard 8807, International Organization for Standardization - Information Processing Systems - Open Systems Interconnection, Geneva, September 1989"},{"key":"1_CR61","unstructured":"ISO\/IEC: Enhancements to LOTOS (E-LOTOS). International Standard 15437:2001, International Organization for Standardization - Information Technology, Geneva, September 2001"},{"issue":"5","key":"1_CR62","doi-asserted-by":"crossref","first-page":"767","DOI":"10.1007\/s00165-016-0373-3","volume":"28","author":"F Jebali","year":"2016","unstructured":"Jebali, F., Lang, F., Mateescu, R.: Formal modelling and verification of GALS systems using GRL and CADP. Formal Asp. Comput. 28(5), 767\u2013804 (2016)","journal-title":"Formal Asp. Comput."},{"key":"1_CR63","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/3-540-53669-8_71","volume-title":"Compiler Compilers","author":"M Jourdan","year":"1991","unstructured":"Jourdan, M., Parigot, D.: Application development with the FNC-2 attribute grammar system. In: Hammer, D. (ed.) CC 1990. LNCS, vol. 477, pp. 11\u201325. Springer, Heidelberg (1991). doi: 10.1007\/3-540-53669-8_71"},{"key":"1_CR64","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-642-41010-9_8","volume-title":"Formal Methods for Industrial Critical Systems","author":"A Kriouile","year":"2013","unstructured":"Kriouile, A., Serwe, W.: Formal analysis of the ACE specification for cache coherent systems-on-chip. In: Pecheur, C., Dierkes, M. (eds.) FMICS 2013. LNCS, vol. 8187, pp. 108\u2013122. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-41010-9_8"},{"key":"1_CR65","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"708","DOI":"10.1007\/978-3-662-46681-0_62","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A Kriouile","year":"2015","unstructured":"Kriouile, A., Serwe, W.: Using a formal model to improve verification of a cache-coherent system-on-chip. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 708\u2013722. Springer, Heidelberg (2015). doi: 10.1007\/978-3-662-46681-0_62"},{"key":"1_CR66","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/3-540-46002-0_33","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"F Lang","year":"2002","unstructured":"Lang, F.: Compositional verification using SVL scripts. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol. 2280, pp. 465\u2013469. Springer, Heidelberg (2002). doi: 10.1007\/3-540-46002-0_33"},{"key":"1_CR67","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/11589976_6","volume-title":"Integrated Formal Methods","author":"F Lang","year":"2005","unstructured":"Lang, F.: Exp.Open 2.0: a flexible tool integrating partial order, compositional, and on-the-fly verification methods. In: Romijn, J., Smith, G., van de Pol, J. (eds.) IFM 2005. LNCS, vol. 3771, pp. 70\u201388. Springer, Heidelberg (2005). doi: 10.1007\/11589976_6 . Full version available as INRIA Research Report RR-5673"},{"issue":"6","key":"1_CR68","doi-asserted-by":"crossref","first-page":"681","DOI":"10.1007\/s00165-009-0133-8","volume":"22","author":"F Lang","year":"2010","unstructured":"Lang, F., Sala\u00fcn, G., H\u00e9rilier, R., Kramer, J., Magee, J.: Translating FSP into LOTOS and networks of automata. Formal Asp. Comput. 22(6), 681\u2013711 (2010)","journal-title":"Formal Asp. Comput."},{"issue":"Part A","key":"1_CR69","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1016\/j.scico.2013.01.003","volume":"80","author":"E Lantreibecq","year":"2014","unstructured":"Lantreibecq, E., Serwe, W.: Formal analysis of a hardware dynamic task dispatcher with CADP. Sci. Comput. Program. 80(Part A), 130\u2013149 (2014)","journal-title":"Sci. Comput. Program."},{"key":"1_CR70","unstructured":"Leduc, G., Jeffrey, A., Sighireanu, M.: Introduction \u00e0 E-LOTOS. In: Cavalli, A. (ed.) Ing\u00e9nierie des protocoles et qualit\u00e9 de service. Collection IC2, chap. 6, pp. 213\u2013253. Herm\u00e8s, Paris (2001)"},{"issue":"3","key":"1_CR71","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/S0169-7552(96)00078-5","volume":"29","author":"L L\u00e9onard","year":"1997","unstructured":"L\u00e9onard, L., Leduc, G.: An introduction to ET-LOTOS for the description of time-sensitive systems. Comput. Netw. ISDN Syst. 29(3), 271\u2013292 (1997)","journal-title":"Comput. Netw. ISDN Syst."},{"issue":"3","key":"1_CR72","doi-asserted-by":"crossref","first-page":"248","DOI":"10.1007\/s001650050015","volume":"10","author":"L L\u00e9onard","year":"1998","unstructured":"L\u00e9onard, L., Leduc, G.: A formal definition of time in LOTOS. Formal Asp. Comput. 10(3), 248\u2013266 (1998)","journal-title":"Formal Asp. Comput."},{"key":"1_CR73","unstructured":"Li, X., Madnick, S., Zhu, H., Fan, Y.: Improving data quality for web services composition. In: Proceedings of the 7th International Workshop on Quality in Databases (QDB 2009), Lyon, France, August 2009"},{"key":"1_CR74","doi-asserted-by":"crossref","unstructured":"Massetto, F.I., de Souza, W.L., Zorzo, S.D.: Simulator for E-LOTOS specifications. In: Proceedings of the 35th Annual Simulation Symposium (SS 2002), San Diego, California, USA, pp. 389\u2013394. IEEE Computer Society, Washington, D.C., April 2002","DOI":"10.1109\/SIMSYM.2002.1000176"},{"key":"1_CR75","unstructured":"Mateescu, R.: A generic framework for model checking software architectures. In: Augusto, J.C., Ultes-Nitsche, U. (eds.) Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems (VVEIS 2004), Porto, Portugal. INSTICC Press, April 2004. Keynote presentation"},{"key":"1_CR76","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-540-88387-6_6","volume-title":"Automated Technology for Verification and Analysis","author":"R Mateescu","year":"2008","unstructured":"Mateescu, R., Monteiro, P.T., Dumas, E., de Jong, H.: Computation tree regular logic for genetic regulatory networks. In: Cha, S.S., Choi, J.-Y., Kim, M., Lee, I., Viswanathan, M. (eds.) ATVA 2008. LNCS, vol. 5311, pp. 48\u201363. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-88387-6_6"},{"key":"1_CR77","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/978-3-642-36742-7_14","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"R Mateescu","year":"2013","unstructured":"Mateescu, R., Sala\u00fcn, G.: PIC2LNT: model transformation for model checking an applied pi-calculus. In: Piterman, N., Smolka, S.A. (eds.) TACAS 2013. LNCS, vol. 7795, pp. 192\u2013198. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-36742-7_14"},{"issue":"7","key":"1_CR78","doi-asserted-by":"crossref","first-page":"843","DOI":"10.1016\/j.scico.2012.01.003","volume":"78","author":"R Mateescu","year":"2013","unstructured":"Mateescu, R., Serwe, W.: Model checking and performance evaluation with CADP illustrated on shared-memory mutual exclusion protocols. Sci. Comput. Program. 78(7), 843\u2013861 (2013)","journal-title":"Sci. Comput. Program."},{"key":"1_CR79","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-540-68237-0_12","volume-title":"FM 2008: Formal Methods","author":"R Mateescu","year":"2008","unstructured":"Mateescu, R., Thivolle, D.: A model checking language for concurrent value-passing systems. In: Cuellar, J., Maibaum, T., Sere, K. (eds.) FM 2008. LNCS, vol. 5014, pp. 148\u2013164. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-68237-0_12"},{"issue":"5","key":"1_CR80","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1016\/0169-7552(92)90013-G","volume":"23","author":"J Meer de","year":"1992","unstructured":"de Meer, J., Roth, R., Vuong, S.: Introduction to algebraic specifications based on the language ACT ONE. Comput. Netw. ISDN Syst. 23(5), 363\u2013392 (1992)","journal-title":"Comput. Netw. ISDN Syst."},{"issue":"2","key":"1_CR81","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1145\/3318.3322","volume":"7","author":"GJ Milne","year":"1985","unstructured":"Milne, G.J.: CIRCAL and the representation of communication, concurrency, and time. ACM Trans. Progr. Lang. Syst. 7(2), 270\u2013298 (1985)","journal-title":"ACM Trans. Progr. Lang. Syst."},{"key":"1_CR82","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","year":"1980","unstructured":"Milner, R. (ed.): A Calculus of Communicating Systems. LNCS, vol. 92. Springer, Heidelberg (1980). doi: 10.1007\/3-540-10235-3"},{"key":"1_CR83","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0304-3975(83)90114-7","volume":"25","author":"R Milner","year":"1983","unstructured":"Milner, R.: Calculi for synchrony and asynchrony. Theor. Comput. Sci. 25, 267\u2013310 (1983)","journal-title":"Theor. Comput. Sci."},{"key":"1_CR84","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-319-19584-1_10","volume-title":"Reliable Software Technologies \u2013 Ada-Europe 2015","author":"H Mkaouar","year":"2015","unstructured":"Mkaouar, H., Zalila, B., Hugues, J., Jmaiel, M.: From AADL model to LNT specification. In: de la Puente, J.A., Vardanega, T. (eds.) Ada-Europe 2015. LNCS, vol. 9111, pp. 146\u2013161. Springer, Cham (2015). doi: 10.1007\/978-3-319-19584-1_10"},{"key":"1_CR85","doi-asserted-by":"crossref","unstructured":"Oliveira, R., Dupuy-Chessa, S., Calvary, G., Dadolle, D.: Using formal models to cross check an implementation. In: Luyten, K., Palanque, P. (eds.) Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2016), Brussels, Belgium, pp. 126\u2013137. ACM, New York, June 2016","DOI":"10.1145\/2933242.2933257"},{"key":"1_CR86","doi-asserted-by":"crossref","unstructured":"Poizat, P., Sala\u00fcn, G.: Checking the realizability of BPMN 2.0 choreographies. In: Proceedings of the 27th Symposium On Applied Computing (SAC 2012), Riva del Garda, Italy. ACM Press, New York, March 2012","DOI":"10.1145\/2245276.2232095"},{"key":"1_CR87","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/978-3-319-57666-4_4","volume-title":"Formal Aspects of Component Software","author":"P Poizat","year":"2017","unstructured":"Poizat, P., Sala\u00fcn, G., Krishna, A.: Checking business process evolution. In: Kouchnarenko, O., Khosravi, R. (eds.) FACS 2016. LNCS, vol. 10231, pp. 36\u201353. Springer, Cham (2017). doi: 10.1007\/978-3-319-57666-4_4"},{"issue":"3","key":"1_CR88","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1016\/j.scico.2004.10.001","volume":"56","author":"O Ponsini","year":"2005","unstructured":"Ponsini, O., F\u00e9d\u00e8le, C., Kounalis, E.: Rewriting of imperative programs into logical equations. Sci. Comput. Program. 56(3), 363\u2013401 (2005)","journal-title":"Sci. Comput. Program."},{"key":"1_CR89","unstructured":"Quemada, J.: E-LOTOS Has Born, February 1997. Email announcement available from ftp:\/\/ftp.inrialpes.fr\/pub\/vasy\/publications\/elotos\/announce-97.txt"},{"key":"1_CR90","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1007\/978-1-4615-2203-4_23","volume-title":"LOTOSphere: Software Development with LOTOS","author":"R Roth","year":"1995","unstructured":"Roth, R., de Meer, J., Storp, S.: Data specifications in Modular LOTOS. In: Bolognesi, T., Lagemaat, J., Vissers, C. (eds.) LOTOSphere: Software Development with LOTOS, pp. 467\u2013479. Kluwer Academic Publishers, Dordrecht (1995)"},{"key":"1_CR91","doi-asserted-by":"crossref","unstructured":"Serwe, W.: Formal specification and verification of fully asynchronous implementations of the Data Encryption Standard. In: van Glabbeek, R., Groote, J.F., H\u00f6fner, P. (eds.) Proceedings of the International Workshop on Models for Formal Analysis of Real Systems (MARS 2015), Suva, Fiji. Electronic Proceedings in Theoretical Computer Science, vol. 196. Open Publishing Association (2015)","DOI":"10.4204\/EPTCS.196.6"},{"key":"1_CR92","unstructured":"Shankland, C., Verdejo, A.: Time, E-LOTOS, and the FireWire. In: Marsan, M.A., Quemada, J., Robles, T., Silva, M. (eds.) Proceedings of the Workshop on Formal Methods and Telecommunications (WFMT 1999), Zaragoza, Spain, pp. 103\u2013119. Prensas Universitarias de Zaragoza, September 1999"},{"issue":"3\/4","key":"1_CR93","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1016\/S1389-1286(01)00190-6","volume":"37","author":"C Shankland","year":"2001","unstructured":"Shankland, C., Verdejo, A.: A case study in abstraction using E-LOTOS and the FireWire. Comput. Netw. 37(3\/4), 481\u2013502 (2001)","journal-title":"Comput. Netw."},{"key":"1_CR94","unstructured":"Sighireanu, M.: Contribution \u00e0 la d\u00e9finition et \u00e0 l\u2019impl\u00e9mentation du langage \u201cExtended LOTOS\u201d. Th\u00e8se de Doctorat, Universit\u00e9 Joseph Fourier (Grenoble), January 1999"},{"key":"1_CR95","unstructured":"Sighireanu, M., Catry, A., Champelovier, D., Garavel, H., Lang, F., Schaeffer, G., Serwe, W., Stoecker, J.: LOTOS NT User\u2019s Manual (Version 2.8), INRIA\/CONVECS, Grenoble, France, 109 p. ftp:\/\/ftp.inrialpes.fr\/pub\/vasy\/traian\/manual.pdf"},{"key":"1_CR96","unstructured":"Sighireanu, M., Turner, K.: Requirement capture, formal description and verification of an invoicing system. Research Report RR-3575, INRIA, Grenoble, December 1998"},{"key":"1_CR97","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/978-3-642-00255-7_7","volume-title":"Integrated Formal Methods","author":"J St\u00f6cker","year":"2009","unstructured":"St\u00f6cker, J., Lang, F., Garavel, H.: Parallel processes with real-time and data: the ATLANTIF intermediate format. In: Leuschel, M., Wehrheim, H. (eds.) IFM 2009. LNCS, vol. 5423, pp. 88\u2013102. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-00255-7_7"},{"key":"1_CR98","unstructured":"Thivolle, D.: Langages modernes pour la v\u00e9rification des syst\u00e8mes asynchrones. Th\u00e8se de Doctorat, Universit\u00e9 Joseph Fourier, Grenoble, France and Universitatea Politehnica din Bucuresti, Bucharest, Romania, April 2011"},{"key":"1_CR99","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/978-1-4471-0701-9_10","volume-title":"Software Specification Methods: An Overview Using a Case Study","author":"KJ Turner","year":"2001","unstructured":"Turner, K.J., Sighireanu, M.: (E)-Lotos: (enhanced) language of temporal ordering specification. In: Frappier, M., Habrias, H. (eds.) Software Specification Methods: An Overview Using a Case Study, pp. 166\u2013190. Springer, London (2001). doi: 10.1007\/978-1-4471-0701-9_10"},{"issue":"1","key":"1_CR100","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/s00165-016-0362-6","volume":"28","author":"D Vekris","year":"2016","unstructured":"Vekris, D., Lang, F., Dima, C., Mateescu, R.: Verification of EB3 specifications using CADP. Formal Asp. Comput. 28(1), 145\u2013178 (2016)","journal-title":"Formal Asp. Comput."},{"key":"1_CR101","unstructured":"Verdejo, A.: E-LOTOS: Tutorial and Semantics. Master\u2019s thesis, Departamento de Sistemas Inform\u00e1ticos y Programaci\u00f3n, Universidad Complutense de Madrid, Spain, June 1999"},{"key":"1_CR102","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/978-3-319-47677-3_3","volume-title":"Dependable Software Engineering: Theories, Tools, and Applications","author":"H Wu","year":"2016","unstructured":"Wu, H., Yang, X., Katoen, J.-P.: Performance evaluation of concurrent data structures. In: Fr\u00e4nzle, M., Kapur, D., Zhan, N. (eds.) SETTA 2016. LNCS, vol. 9984, pp. 38\u201349. Springer, Cham (2016). doi: 10.1007\/978-3-319-47677-3_3"},{"key":"1_CR103","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1016\/j.scico.2016.01.002","volume":"118","author":"Z Zhang","year":"2016","unstructured":"Zhang, Z., Serwe, W., Wu, J., Zheng, T.Y.H., Myers, C.: An improved fault-tolerant routing algorithm for a network-on-chip derived with formal analysis. Sci. Comput. Program. 118, 24\u201339 (2016)","journal-title":"Sci. Comput. Program."}],"container-title":["Lecture Notes in Computer Science","ModelEd, TestEd, TrustEd"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-68270-9_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,3]],"date-time":"2019-10-03T19:51:46Z","timestamp":1570132306000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-68270-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319682693","9783319682709"],"references-count":103,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-68270-9_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}